Calculate a State Space and SCC Graph
How-to


Related Pages

Use state space tool, Change attributes and options in state space tool, State space tools

Calculating the state space

Before you can calculate a state space, you must enter the state space tool.

If the state space is expected to be small, you can simply apply the Calculate state space tool to a sheet containing a page from the net.

If the state space is expected to be large, you may need to change the options for the Calculate state space tool.

If calculation was successful a green status bubble will appear in the index. Position the mouse cursor on top of the status bubble to see generation statistics.

Calculate State Space Bubble

If some of the stop or branching criteria are fulfilled, then a yellow status bubble will appear in the index.

Stop criteria fulfilled

If calculation failed a red status bubble will appear in the index. Position the mouse cursor on top of the status bubble to see the error message.

Calculating the SCC graph

After successfully entering the state space tool and calculating the state space, apply the Calculate SCC graph tool to a sheet containing a page from the net.

If calculation was successful a green status bubble will appear in the index. If calculation failed a red status bubble will appear in the index. Position the mouse cursor on top of the status bubble to see the error message.