Method initialize_sequence

src/DFSRndNumGenerator.cpp:186–193

}

void
DFSRndNumGenerator::initialize_sequence(const vector<int> &v)
{
	size_t i = 0;
	for (i = 0; i < v.size(); i++) {
		seq_->add_number(v[i], 0, i);
	}
}

#ifdef DEBUG
void