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