Method dumpCurrentState

src/DFSRndNumGenerator.cpp:196–202

#ifdef DEBUG
void
DFSRndNumGenerator::dumpCurrentState(int bound, const string &where)
{
	cout << "[current]" << where << ", current_pos = " << current_pos_ \
		<< ", decision_depth = " << decision_depth_ << " , bound = " \
		<< bound << ", all_done = " << all_done_ << std::endl;
}
#else
void
DFSRndNumGenerator::dumpCurrentState(int, const string &)