75 CoreEngine::CoreEngine(ExprEngine &exprengine, FunctionSummariesTy *FS,  in CoreEngine()  function in CoreEngine
81 void CoreEngine::setBlockCounter(BlockCounter C) {  in setBlockCounter()
88 bool CoreEngine::ExecuteWorkList(const LocationContext *L, unsigned MaxSteps,  in ExecuteWorkList()
182 void CoreEngine::dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc,  in dispatchWorkItem()
225 bool CoreEngine::ExecuteWorkListWithInitialState(const LocationContext *L,  in ExecuteWorkListWithInitialState()
237 void CoreEngine::HandleBlockEdge(const BlockEdge &L, ExplodedNode *Pred) {  in HandleBlockEdge()
306 void CoreEngine::HandleBlockEntrance(const BlockEntrance &L,  in HandleBlockEntrance()
325 void CoreEngine::HandleBlockExit(const CFGBlock * B, ExplodedNode *Pred) {  in HandleBlockExit()
449 void CoreEngine::HandleCallEnter(const CallEnter &CE, ExplodedNode *Pred) {  in HandleCallEnter()
454 void CoreEngine::HandleBranch(const Stmt *Cond, const Stmt *Term,  in HandleBranch()
465 void CoreEngine::HandleCleanupTemporaryBranch(const CXXBindTemporaryExpr *BTE,  in HandleCleanupTemporaryBranch()
477 void CoreEngine::HandleStaticInit(const DeclStmt *DS, const CFGBlock *B,  in HandleStaticInit()
488 void CoreEngine::HandlePostStmt(const CFGBlock *B, unsigned StmtIdx,  in HandlePostStmt()
501 void CoreEngine::HandleVirtualBaseBranch(const CFGBlock *B,  in HandleVirtualBaseBranch()
526 void CoreEngine::generateNode(const ProgramPoint &Loc,  in generateNode()
543 void CoreEngine::enqueueStmtNode(ExplodedNode *N,  in enqueueStmtNode()
593 ExplodedNode *CoreEngine::generateCallExitBeginNode(ExplodedNode *N,  in generateCallExitBeginNode()
607 void CoreEngine::enqueue(ExplodedNodeSet &Set) {  in enqueue()
612 void CoreEngine::enqueue(ExplodedNodeSet &Set,  in enqueue()
618 void CoreEngine::enqueueEndOfFunction(ExplodedNodeSet &Set, const ReturnStmt *RS) {  in enqueueEndOfFunction()