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 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));
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCheckerContext.h162 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 DDFAPacketizerEmitter.cpp113 // 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 Dantlr-3.4-complete.jarMETA-INF/ META-INF/MANIFEST.MF org/ org/antlr/ org/antlr/analysis/ org/antlr/codegen/ org/ ...

Completed in 1910 milliseconds