ステート・タブ

ノードのプロパティのステート・タブは、現在のノードのステートを指定するために使用されます。

図 1 は、ステート・タブを示します。ここで、現在編集中のノードのタイプによって、ステート名、ステート値、またはステート区間を指定することができます。

ステート/値・

ステート・ラベル/値/区間を名前変更するには、まず現行のステートを選択して、そして、新しいラベル/値/区間をステート・セクションの下部の編集ボックスで入力し、最後に "名前変更"を押します。

区間ノードのある区間の境界が変更された場合、ステート区間の間にギャップが生じないように自動的に隣のテートの境界が更新されます。シンボル"infinity" または "inf" は、無限大の右側境界を指定するのに使用できます。同様に、"-infinity" または "-inf" は、無限大の左側境界を指定するのに使用できます。

ステート・ラベルの順序を並べ直すには、まず、ステートを選択して、"上へ" と"下へ" ボタンを押して、上下に移動します。

 

図 1: タイプ "数字つき"のノードのステート・タブを表示するノードのプロパティ・ダイアログ・ボックス。
Back

翻訳者：多田くにひろ（マインドウェア総研）