Method get_prefixed_name

src/SimpleDeltaRndNumGenerator.cpp:127–131

}

std::string
SimpleDeltaRndNumGenerator::get_prefixed_name(const std::string &name)
{
	return name;
}

/*
 * Print the tracing information for debugging.