Defines a list of final state for this FSM.
Defines a list of final state for this FSM.
array of states.
Gets the state n of this FSM.
Gets the state n of this FSM.
index of state.
n-th state
Defines initial state for this FSM.
Defines initial state for this FSM.
state.
Number of states in this FSM.
FSM specification for regular constraint.