3
* Author: Peter G. Jensen
5
* Created on March 7, 2018, 1:50 PM
11
#include "CTL/DependencyGraph/Edge.h"
12
#include "SearchStrategy.h"
14
namespace SearchStrategy {
16
// A custom search strategy that should ensure as little overhead as possible
17
// while running sequential computation.
19
class BFSSearch : public SearchStrategy {
22
size_t Wsize() const { return W.size(); };
23
void pushToW(DependencyGraph::Edge* edge) { W.push(edge); };
24
DependencyGraph::Edge* popFromW()
30
std::queue<DependencyGraph::Edge*> W;
33
} // end SearchStrategy
35
#endif /* BFSSEARCH_H */