Calculate state space
Tools


Calculate State Space

Calculate state space

Calculate state space:

This tool is accessible through:
palettes available : State space tools

Options

The options for the Calculate state space tool allow you to determine when the calculation of a state space stops. To change the options, open the "CalcSS" index entry, which is under the "Statespace" index entry, which in turn is under the "Tool box" index entry.

Calculate State Space Options

To edit integer options, click on them in the index to activate text edit, and change them to the desired values.

To edit predicates, either drag them to the workspace and edit them in a text sheet or edit the text in the appropriate index entry.

For more information about Stop and Branching options, please see the state space tool manual.