Lines Matching defs:WorkList
35 // Worklist classes for exploration of reachable states.
38 WorkList::Visitor::~Visitor() {}
41 class DFS : public WorkList {
69 class BFS : public WorkList {
98 // Place the dstor for WorkList here because it contains virtual member
100 WorkList::~WorkList() {}
102 WorkList *WorkList::makeDFS() { return new DFS(); }
103 WorkList *WorkList::makeBFS() { return new BFS(); }
106 class BFSBlockDFSContents : public WorkList {
153 WorkList* WorkList::makeBFSBlockDFSContents() {
161 /// ExecuteWorkList - Run the worklist algorithm for a maximum number of steps.
317 // Enqueue nodes onto the worklist.
454 // Enqueue the new frontier onto the worklist.
472 /// and add nodes to the worklist.
487 // Only add 'Node' to the worklist if it was freshly generated.
