Searched defs:addTransition (Results 1 - 2 of 2) sorted by relevance
| /netbsd-current/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ | ||
| H A D | CheckerContext.h | 166 ExplodedNode *addTransition(ProgramStateRef State = nullptr, function in class:clang::ento::CheckerContext 178 ExplodedNode *addTransition(ProgramStateRef State, ExplodedNode *Pred, function in class:clang::ento::CheckerContext |
| /netbsd-current/external/apache2/llvm/dist/llvm/utils/TableGen/ | ||
| H A D | DFAEmitter.cpp | 48 void DfaEmitter::addTransition(state_type From, state_type To, action_type A) { function in class:DfaEmitter |
Completed in 116 milliseconds