Uses of Class
com.karneim.util.collection.set.StateProSet

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.