|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use StateProSet | |
---|---|
com.karneim.util.collection.set |
Uses of StateProSet in com.karneim.util.collection.set |
---|
Methods in com.karneim.util.collection.set that return StateProSet | |
---|---|
StateProSet |
SAutomaton.State.getAllReachableStates()
|
StateProSet |
SAutomaton.StatePro.getAllReachableStates()
|
StateProSet |
IStatePro.getAllReachableStates()
Returns all states that are reachable from this state through it's transitions and so on. |
StateProSet |
IState.getAllReachableStates()
Returns all states that are reachable from this state through it's transitions and so on. |
StateProSet |
SAutomaton.getStates()
Returns all states of this automaton whatever they are reachable through the current start state or not. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |