3
* Author: Peter G. Jensen
5
* Created on March 7, 2018, 1:52 PM
8
#include "RDFSSearch.h"
9
#include "CTL/DependencyGraph/Configuration.h"
11
namespace SearchStrategy {
12
size_t RDFSSearch::Wsize() const {
16
DependencyGraph::Edge* RDFSSearch::popFromW() {
19
last_parent = W.size();
23
void RDFSSearch::pushToW(DependencyGraph::Edge* edge) {
24
last_parent = std::min(W.size(), last_parent);
29
size_t genrand(size_t i)
31
return std::rand() % i;
34
void RDFSSearch::flush() {
35
last_parent = std::min(last_parent, W.size());
36
std::random_shuffle(W.begin() + last_parent, W.end(), genrand);
37
last_parent = W.size();
b'\\ No newline at end of file'