VariableRenaming::printToFilteredDOT

Synopsis

Declared in <src/midend/programAnalysis/variableRenaming/VariableRenaming.h>

void
printToFilteredDOT(
    SgSourceFile* file,
    std::ofstream& outFile);

Created with MrDocs