VariableRenaming::NumNodeRenameEntry
An entry in the rename table that maps a number to a node.
Synopsis
Declared in <src/midend/programAnalysis/variableRenaming/VariableRenaming.h>
typedef std::map<int, SgNode*> NumNodeRenameEntry;
Created with MrDocs