Method get_count_prefix

src/DFSProgramGenerator.cpp:75–81

}

std::string
DFSProgramGenerator::get_count_prefix(const std::string &name)
{
	std::ostringstream ss;
	ss << "p_" << good_count_ << "_" << name;
	return ss.str();
}

void
DFSProgramGenerator::goGenerator()