Lines Matching defs:IsNew

117     bool IsNew;
118     ExplodedNode *Node = G.getNode(StartLoc, InitState, false, &IsNew);
119     assert(IsNew);
517   bool IsNew;
518   ExplodedNode *Node = G.getNode(Loc, State, false, &IsNew);
523     assert(IsNew);
528   if (IsNew) WList->enqueue(Node);
573   bool IsNew;
574   ExplodedNode *Succ = G.getNode(Loc, N->getState(), false, &IsNew);
577   if (IsNew)
652   bool IsNew;
653   ExplodedNode *N = C.getEngine().G.getNode(Loc, State, MarkAsSink, &IsNew);
657   if (!IsNew)
694   bool IsNew;
697                     St, IsSink, &IsNew);
700   if (!IsNew)
712   bool IsNew;
715                     St, false, &IsNew);
717   if (!IsNew)
736   bool IsNew;
739                     St, IsSink, &IsNew);
742   if (!IsNew)