Get new names for an old name
Get new names for an old name
This is analogous to get on standard Scala collection Maps None indicates the key was not renamed Empty indicates the name was deleted
Get renames of a ComponentName
Get renames of a ComponentName
A ComponentName can only be renamed to one-or-more ComponentNames
Get renames of a ModuleName
Get renames of a ModuleName
A ModuleName can only be renamed to one-or-more ModuleNames
Get renames of a CircuitName
Get renames of a CircuitName
A CircuitName can only be renamed to a single CircuitName
Map old names to new names
Transforms that modify names should return a RenameMap with the CircuitState These are mutable datastructures for convenience