This is the complete list of members for clang::ento::CoreEngine, including all inherited members.
addAbortedBlock(const ExplodedNode *node, const CFGBlock *block) | clang::ento::CoreEngine | inline |
blocks_aborted_begin() const | clang::ento::CoreEngine | inline |
blocks_aborted_end() const | clang::ento::CoreEngine | inline |
blocks_exhausted_begin() const | clang::ento::CoreEngine | inline |
blocks_exhausted_end() const | clang::ento::CoreEngine | inline |
BlocksAborted typedef | clang::ento::CoreEngine | |
BlocksExhausted typedef | clang::ento::CoreEngine | |
CommonNodeBuilder class | clang::ento::CoreEngine | friend |
CoreEngine(SubEngine &subengine, FunctionSummariesTy *FS, AnalyzerOptions &Opts) | clang::ento::CoreEngine | |
CoreEngine(const CoreEngine &)=delete | clang::ento::CoreEngine | |
dispatchWorkItem(ExplodedNode *Pred, ProgramPoint Loc, const WorkListUnit &WU) | clang::ento::CoreEngine | |
EndOfFunctionNodeBuilder class | clang::ento::CoreEngine | friend |
enqueue(ExplodedNodeSet &Set) | clang::ento::CoreEngine | |
enqueue(ExplodedNodeSet &Set, const CFGBlock *Block, unsigned Idx) | clang::ento::CoreEngine | |
enqueueEndOfFunction(ExplodedNodeSet &Set, const ReturnStmt *RS) | clang::ento::CoreEngine | |
enqueueStmtNode(ExplodedNode *N, const CFGBlock *Block, unsigned Idx) | clang::ento::CoreEngine | |
ExecuteWorkList(const LocationContext *L, unsigned Steps, ProgramStateRef InitState) | clang::ento::CoreEngine | |
ExecuteWorkListWithInitialState(const LocationContext *L, unsigned Steps, ProgramStateRef InitState, ExplodedNodeSet &Dst) | clang::ento::CoreEngine | |
ExprEngine class | clang::ento::CoreEngine | friend |
getGraph() | clang::ento::CoreEngine | inline |
getWorkList() const | clang::ento::CoreEngine | inline |
hasWorkRemaining() const | clang::ento::CoreEngine | inline |
IndirectGotoNodeBuilder class | clang::ento::CoreEngine | friend |
NodeBuilder class | clang::ento::CoreEngine | friend |
NodeBuilderContext | clang::ento::CoreEngine | friend |
operator=(const CoreEngine &)=delete | clang::ento::CoreEngine | |
SwitchNodeBuilder class | clang::ento::CoreEngine | friend |
wasBlockAborted() const | clang::ento::CoreEngine | inline |
wasBlocksExhausted() const | clang::ento::CoreEngine | inline |