Lines Matching defs:WorkList
37 // Worklist classes for exploration of reachable states.
40 WorkList::Visitor::~Visitor() {}
43 class DFS : public WorkList {
71 class BFS : public WorkList {
100 // Place the dstor for WorkList here because it contains virtual member
102 WorkList::~WorkList() {}
104 WorkList *WorkList::makeDFS() { return new DFS(); }
105 WorkList *WorkList::makeBFS() { return new BFS(); }
108 class BFSBlockDFSContents : public WorkList {
155 WorkList* WorkList::makeBFSBlockDFSContents() {
163 /// ExecuteWorkList - Run the worklist algorithm for a maximum number of steps.
318 // Enqueue nodes onto the worklist.
455 // Enqueue the new frontier onto the worklist.
473 /// and add nodes to the worklist.
488 // Only add 'Node' to the worklist if it was freshly generated.