Lines Matching refs:enqueue
117 enqueue(DstBegin);
257 // This path is done. Don't enqueue any more nodes.
273 enqueue(dstNodes);
431 enqueue(Dst);
443 enqueue(Dst);
454 enqueue(Dst);
509 if (IsNew) WList->enqueue(Node);
521 WList->enqueue(N, Block, Idx);
529 WList->enqueue(N, Block, Idx+1);
534 WList->enqueue(N, Block, Idx);
539 WList->enqueue(N, Block, Idx+1);
550 WList->enqueue(N, Block, Idx+1);
559 WList->enqueue(Succ, Block, Idx+1);
564 // Create a CallExitBegin node and enqueue it.
576 void CoreEngine::enqueue(ExplodedNodeSet &Set) {
578 WList->enqueue(I);
581 void CoreEngine::enqueue(ExplodedNodeSet &Set,
593 WList->enqueue(I);
660 Eng.WList->enqueue(Succ);
676 Eng.WList->enqueue(Succ);
702 Eng.WList->enqueue(Succ);