Method log_depth

src/DFSRndNumGenerator.cpp:390–403

}

void
DFSRndNumGenerator::log_depth(int d, const string *where, const char *log)
{
	std::ostringstream ss1;

	if (log)
		ss1 << "[" << log << "]";

	if (where)
		ss1 << d << "(" << *where << ", pos = " << current_pos_ << ", current_decision_depth=" << decision_depth_ << ")->";
	else
		ss1 << d << "(..., pos = " << current_pos_ << ", current_decision_depth=" << decision_depth_ << ")->";
	trace_string_ += ss1.str();
}

void
DFSRndNumGenerator::init_states(int size)