Lines Matching defs:enqueue
126 enqueue(DstBegin);
275 // This path is done. Don't enqueue any more nodes.
291 enqueue(dstNodes);
450 enqueue(Dst);
462 enqueue(Dst);
473 enqueue(Dst);
528 if (IsNew) WList->enqueue(Node);
540 WList->enqueue(N, Block, Idx);
548 WList->enqueue(N, Block, Idx+1);
553 WList->enqueue(N, Block, Idx);
558 WList->enqueue(N, Block, Idx+1);
569 WList->enqueue(N, Block, Idx+1);
578 WList->enqueue(Succ, Block, Idx+1);
583 // Create a CallExitBegin node and enqueue it.
619 void CoreEngine::enqueue(ExplodedNodeSet &Set) {
621 WList->enqueue(I);
624 void CoreEngine::enqueue(ExplodedNodeSet &Set,
636 WList->enqueue(I);
704 Eng.WList->enqueue(Succ);
720 Eng.WList->enqueue(Succ);
746 Eng.WList->enqueue(Succ);