## ステート・タブ

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

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

- タイプが"ラベルつき"の場合、ステート・ラベルとして何かをタイプすることができます。
- タイプが"論理"の場合、"偽" と "真"の2つのステートを変えることはできません。
- タイプが"数字つき"の場合、数字をタイプすることができます。数字は昇順でなければならないことに注意してください。
- タイプが"区間l"の場合、次の形式で区間をタイプできます: "<数字> - <数字>".

ステート/値・

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

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

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

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

Back