Searched defs:addTransition (Results 1 - 7 of 7) sorted by relevance
/external/antlr/antlr-3.4/tool/src/main/java/org/antlr/analysis/ |
H A D | State.java | 43 public abstract void addTransition(Transition e); method in class:State
|
H A D | NFAState.java | 116 public void addTransition(Transition e) { method in class:NFAState
|
H A D | DFAState.java | 184 public void addTransition(Transition t) { method in class:DFAState 191 public int addTransition(DFAState target, Label label) { method in class:DFAState
|
H A D | NFAToDFAConverter.java | 309 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));
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | CheckerContext.h | 162 ExplodedNode *addTransition(ProgramStateRef State = 0, function in class:clang::ento::CheckerContext 174 ExplodedNode *addTransition(ProgramStateRef State, function in class:clang::ento::CheckerContext
|
/external/llvm/utils/TableGen/ |
H A D | DFAPacketizerEmitter.cpp | 113 // addTransition - Add a transition from this state given the input InsnClass 115 void addTransition(unsigned InsnClass, State *To); 171 // addTransition - Add a transition from this state given the input InsnClass 173 void State::addTransition(unsigned InsnClass, State *To) { function in class:State 499 current->addTransition(InsnClass, NewState);
|
/external/antlr/antlr-3.4/lib/ |
H A D | antlr-3.4-complete.jar | META-INF/ META-INF/MANIFEST.MF org/ org/antlr/ org/antlr/analysis/ org/antlr/codegen/ org/ ... |
Completed in 1910 milliseconds