3
* Author: Peter G. Jensen
5
* Created on March 7, 2018, 1:52 PM
8
#include "CTL/SearchStrategy/RDFSSearch.h"
9
#include "CTL/DependencyGraph/Configuration.h"
14
namespace SearchStrategy {
15
size_t RDFSSearch::Wsize() const {
19
DependencyGraph::Edge* RDFSSearch::popFromW() {
22
last_parent = W.size();
26
void RDFSSearch::pushToW(DependencyGraph::Edge* edge) {
27
last_parent = std::min(W.size(), last_parent);
31
auto rng = std::default_random_engine {};
32
void RDFSSearch::flush() {
33
last_parent = std::min(last_parent, W.size());
34
std::shuffle(W.begin() + last_parent, W.end(), rng);
35
last_parent = W.size();