VariableRenaming::NumNodeRenameTable

A table that maps a name to it's number‐>node renamings.

Synopsis

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

typedef std::unordered_map<VarName, NumNodeRenameEntry, VectorHash<SgInitializedName*>> NumNodeRenameTable;

Created with MrDocs