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);