Lines Matching defs:Pred

182 void CoreEngine::dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc,  in dispatchWorkItem()
237 void CoreEngine::HandleBlockEdge(const BlockEdge &L, ExplodedNode *Pred) {  in HandleBlockEdge()
307                                        ExplodedNode *Pred) {  in HandleBlockEntrance()
325 void CoreEngine::HandleBlockExit(const CFGBlock * B, ExplodedNode *Pred) {  in HandleBlockExit()
449 void CoreEngine::HandleCallEnter(const CallEnter &CE, ExplodedNode *Pred) {  in HandleCallEnter()
455                                 const CFGBlock * B, ExplodedNode *Pred) {  in HandleBranch()
467                                               ExplodedNode *Pred) {  in HandleCleanupTemporaryBranch()
478                                   ExplodedNode *Pred) {  in HandleStaticInit()
489                                 ExplodedNode *Pred) {  in HandlePostStmt()
502                                          ExplodedNode *Pred) {  in HandleVirtualBaseBranch()
528                               ExplodedNode *Pred) {  in generateNode()