NameGenerator::next
Returns the next name, updating the current ID number.
Synopsis
Declared in <src/midend/programTransformation/astOutlining/NameGenerator.hh>
std::string
next(std::string full_file_name = "");
Return Value
the next name, updating the current ID number.
Created with MrDocs