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.
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". |