VariableRenaming::numRenameTable

This holds the mapping between variables and the nodes where they are renumbered. Given a name and a number, we can get the node where that number is defined. Nodes which do not define a name are not in the table.

Synopsis

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

NumNodeRenameTable numRenameTable;

Created with MrDocs