Package | Description |
---|---|
com.karneim.util.collection.set |
Modifier and Type | Method and Description |
---|---|
StateProSet |
IState.getAllReachableStates()
Returns all states that are reachable from this state through it's transitions and so on.
|
StateProSet |
IStatePro.getAllReachableStates()
Returns all states that are reachable from this state through it's transitions and so on.
|
StateProSet |
SAutomaton.State.getAllReachableStates() |
StateProSet |
SAutomaton.StatePro.getAllReachableStates() |
StateProSet |
SAutomaton.getStates()
Returns all states of this automaton whatever they are reachable through the current start state or not.
|