Searched refs:getTransition (Results 1 – 4 of 4) sorted by relevance
64 Transition e = startState.getTransition(i); in getAnyDFAPathToTarget()87 Transition e = d.getTransition(j); in getEdgeLabels()
199 public Transition getTransition(int trans) { in getTransition() method in DFAState
441 Transition trans = d.getTransition(transitionIndex); in addTransition()
146 public static ThaiStateTransition getTransition(int state, int currClass) in getTransition() method in ThaiStateTable