## States Tab

The States tab of the Node Properties is used to specify the states of the current node.

Figure 1 shows the States tab. Here, you can specify the state names, state values, or state intervals depending on the type of the node you are currently editing.

- If the type is "Labelled", you can type in anything as the state label.
- If the type is "Boolean", you cannot change the two states "false" and "true".
- If the type is "Numbered", you can type in a number. The numbers must form an increasing sequence.
- If the type is "Interval", you can type in intervals in the format: "<number> - <number>".

You type in the state label/value/interval in the edit box below the states list and press "Rename

If you are editing an interval node, and you change a state interval, the neighboring states will automatically be fitted to your change so that there are no gaps between state intervals. You specify that an interval should represent all the values greater than a particular number by using "infinity" or "inf" as the end point of the interval. Eg: "10-inf". You can also use "-infinity" or "-inf".

If you are specifying an interval and you only type in one number, the system will use the end point of the previous state together with the number to form an interval. This can make interval specification faster.

Figure 1: The node properties dialog box showing the States tab of a node having type "Numbered".

Back