Lines Matching defs:WorkList
38 // Worklist classes for exploration of reachable states.
41 WorkList::Visitor::~Visitor() {}
44 class DFS : public WorkList {
72 class BFS : public WorkList {
101 // Place the dstor for WorkList here because it contains virtual member
103 WorkList::~WorkList() {}
105 WorkList *WorkList::makeDFS() { return new DFS(); }
106 WorkList *WorkList::makeBFS() { return new BFS(); }
109 class BFSBlockDFSContents : public WorkList {
156 WorkList* WorkList::makeBFSBlockDFSContents() {
164 /// ExecuteWorkList - Run the worklist algorithm for a maximum number of steps.
319 // Enqueue nodes onto the worklist.
466 // Enqueue the new frontier onto the worklist.
478 // Enqueue the new frontier onto the worklist.
489 // Enqueue the new frontier onto the worklist.
508 /// and add nodes to the worklist.
523 // Only add 'Node' to the worklist if it was freshly generated.
