clang::ento::CoreEngine Member List

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

aborted_blocks() const	clang::ento::CoreEngine	inline
addAbortedBlock(const ExplodedNode *node, const CFGBlock *block)	clang::ento::CoreEngine	inline
BlocksAborted typedef	clang::ento::CoreEngine
BlocksExhausted typedef	clang::ento::CoreEngine
CoreEngine(ExprEngine &exprengine, 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
enqueue(ExplodedNodeSet &Set)	clang::ento::CoreEngine
enqueueEndOfFunction(ExplodedNodeSet &Set, const ReturnStmt *RS)	clang::ento::CoreEngine
enqueueStmtNode(ExplodedNode *N, const CFGBlock *Block, unsigned Idx)	clang::ento::CoreEngine
enqueueStmtNodes(ExplodedNodeSet &Set, const CFGBlock *Block, unsigned Idx)	clang::ento::CoreEngine
ExecuteWorkList(const LocationContext *L, unsigned Steps, ProgramStateRef InitState)	clang::ento::CoreEngine
exhausted_blocks() const	clang::ento::CoreEngine	inline
ExprEngine class	clang::ento::CoreEngine	friend
getCTUWorkList() const	clang::ento::CoreEngine	inline
getDataTags()	clang::ento::CoreEngine	inline
getGraph()	clang::ento::CoreEngine	inline
getWorkList() const	clang::ento::CoreEngine	inline
hasWorkRemaining() const	clang::ento::CoreEngine	inline
makeNode(const ProgramPoint &Loc, ProgramStateRef State, ExplodedNode *Pred, bool MarkAsSink=false) const	clang::ento::CoreEngine
NodeBuilder class	clang::ento::CoreEngine	friend
NodeBuilderContext class	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