Method get_prefixed_name

src/DFSRndNumGenerator.cpp:434–442

}

std::string
DFSRndNumGenerator::get_prefixed_name(const std::string &name)
{
	std::ostringstream ss;
	ss << "p_";
	seq_->get_sequence(ss);
	ss << seq_->get_sep_char() << name;
	return ss.str();
}

/*
 * Print the tracing information for debugging.