Lines Matching refs:enqueue
118 enqueue(DstBegin);
258 // This path is done. Don't enqueue any more nodes.
274 enqueue(dstNodes);
432 enqueue(Dst);
444 enqueue(Dst);
455 enqueue(Dst);
510 if (IsNew) WList->enqueue(Node);
522 WList->enqueue(N, Block, Idx);
530 WList->enqueue(N, Block, Idx+1);
535 WList->enqueue(N, Block, Idx);
540 WList->enqueue(N, Block, Idx+1);
551 WList->enqueue(N, Block, Idx+1);
560 WList->enqueue(Succ, Block, Idx+1);
565 // Create a CallExitBegin node and enqueue it.
577 void CoreEngine::enqueue(ExplodedNodeSet &Set) {
579 WList->enqueue(I);
582 void CoreEngine::enqueue(ExplodedNodeSet &Set,
594 WList->enqueue(I);
661 Eng.WList->enqueue(Succ);
677 Eng.WList->enqueue(Succ);
703 Eng.WList->enqueue(Succ);