clang  6.0.0svn
clang::ento::CoreEngine Member List

This is the complete list of members for clang::ento::CoreEngine, including all inherited members.

addAbortedBlock(const ExplodedNode *node, const CFGBlock *block)clang::ento::CoreEngineinline
blocks_aborted_begin() constclang::ento::CoreEngineinline
blocks_aborted_end() constclang::ento::CoreEngineinline
blocks_exhausted_begin() constclang::ento::CoreEngineinline
blocks_exhausted_end() constclang::ento::CoreEngineinline
BlocksAborted typedefclang::ento::CoreEngine
BlocksExhausted typedefclang::ento::CoreEngine
CommonNodeBuilder classclang::ento::CoreEnginefriend
CoreEngine(SubEngine &subengine, FunctionSummariesTy *FS)clang::ento::CoreEngineinline
dispatchWorkItem(ExplodedNode *Pred, ProgramPoint Loc, const WorkListUnit &WU)clang::ento::CoreEngine
EndOfFunctionNodeBuilder classclang::ento::CoreEnginefriend
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 classclang::ento::CoreEnginefriend
getGraph()clang::ento::CoreEngineinline
getWorkList() constclang::ento::CoreEngineinline
hasWorkRemaining() constclang::ento::CoreEngineinline
IndirectGotoNodeBuilder classclang::ento::CoreEnginefriend
NodeBuilder classclang::ento::CoreEnginefriend
NodeBuilderContextclang::ento::CoreEnginefriend
SwitchNodeBuilder classclang::ento::CoreEnginefriend
wasBlockAborted() constclang::ento::CoreEngineinline
wasBlocksExhausted() constclang::ento::CoreEngineinline