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 calculatestatespaceic.jpg 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 calculatesccgraphicon.jpg Calculate SCC graph tool to a sheet containing a page from the net.

If the calculation was successful, a green status bubble will appear in the index. If the 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.

Related pages