Computing the state space

To compute the state space select Generate state space from the State space menu. Note that this option is available only after a TNCES has been successfully loaded.

Computing a state space