Lines Matching refs:enqueue
48 virtual void enqueue(const WorkListUnit& U) {
76 virtual void enqueue(const WorkListUnit& U) {
114 virtual void enqueue(const WorkListUnit& U) {
302 // This path is done. Don't enqueue any more nodes.
317 // Enqueue nodes onto the worklist.
318 enqueue(dstNodes);
454 // Enqueue the new frontier onto the worklist.
455 enqueue(Dst);
488 if (IsNew) WList->enqueue(Node);
500 WList->enqueue(N, Block, Idx);
506 WList->enqueue(N, Block, Idx+1);
511 WList->enqueue(N, Block, Idx);
522 WList->enqueue(N, Block, Idx+1);
531 WList->enqueue(Succ, Block, Idx+1);
535 // Create a CallExit node and enqueue it.
550 void CoreEngine::enqueue(ExplodedNodeSet &Set) {
553 WList->enqueue(*I);
557 void CoreEngine::enqueue(ExplodedNodeSet &Set,
572 WList->enqueue(N);
640 Eng.WList->enqueue(Succ);
658 Eng.WList->enqueue(Succ);
685 Eng.WList->enqueue(Succ);
