Searched defs:addTransition (Results 1 – 6 of 6) sorted by relevance
43 public abstract void addTransition(Transition e); in addTransition() method in State
116 public void addTransition(Transition e) { in addTransition() method in NFAState
184 public void addTransition(Transition t) { in addTransition() method in DFAState191 public int addTransition(DFAState target, Label label) { in addTransition() method in DFAState
408 protected static int addTransition(DFAState d, in addTransition() method in NFAToDFAConverter
150 ExplodedNode *addTransition() { in addTransition() function
231 void DFA::addTransition(Transition *T) { in addTransition() function in DFA