Searched defs:addTransition (Results 1 - 8 of 8) sorted by relevance

H A DState.java43 public abstract void addTransition(Transition e); method in class:State
H A DNFAState.java116 public void addTransition(Transition e) { method in class:NFAState
H A DDFAState.java184 public void addTransition(Transition t) { method in class:DFAState
191 public int addTransition(DFAState target, Label label) { method in class:DFAState
H A DNFAToDFAConverter.java309 addTransition(d, label, targetState, targetToLabelMap);
408 protected static int addTransition(DFAState d, method in class:NFAToDFAConverter
440 int transitionIndex = d.addTransition(targetState, label);
448 d.addTransition(targetState, label);
1704 d.addTransition(predDFATarget, new PredicateLabel(c.semanticContext));
H A DCheckerContext.h208 ExplodedNode *addTransition(ProgramStateRef State = nullptr, function in class:clang::ento::CheckerContext
220 ExplodedNode *addTransition(ProgramStateRef State, function in class:clang::ento::CheckerContext
H A DDFAPacketizerEmitter.cpp114 // addTransition - Add a transition from this state given the input InsnClass
116 void addTransition(unsigned InsnClass, const State *To) const;
161 // addTransition - Add a transition from this state given the input InsnClass
163 void State::addTransition(unsigned InsnClass, const State *To) const { function in class:State
491 current->addTransition(InsnClass, NewState);
H A Dantlr-3.4-complete.jarMETA-INF/ META-INF/MANIFEST.MF org/ org/antlr/ org/antlr/analysis/ org/antlr/codegen/ org/ ...
H A Dframeworks.jarMETA-INF/ META-INF/MANIFEST.MF android/ android/location/ android/location/Address$1.class ...

Completed in 206 milliseconds