5
#include "CTL/DependencyGraph/Edge.h"
6
#include "SearchStrategy.h"
8
namespace SearchStrategy {
10
// A custom search strategy that should ensure as little overhead as possible
11
// while running sequential computation.
13
class DFSSearch : public SearchStrategy {
16
size_t Wsize() const { return W.size(); };
17
void pushToW(DependencyGraph::Edge* edge) { W.push(edge); };
18
DependencyGraph::Edge* popFromW()
24
std::stack<DependencyGraph::Edge*> W;
27
} // end SearchStrategy