MultiRenamingTable (KeY API Documentation)

public class MultiRenamingTable
extends RenamingTable

Fields
Modifier and Type	Field and Description
`private HashMap<? extends SourceElement,? extends SourceElement>`	`hmap`

Constructors
Constructor and Description
`MultiRenamingTable(HashMap<? extends SourceElement,? extends SourceElement> hmap)`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`HashMap<? extends SourceElement,? extends SourceElement>`	`getHashMap()`
`SourceElement`	`getRenaming(SourceElement se)`
`Iterator<? extends SourceElement>`	`getRenamingIterator()`
`String`	`toString()`

Methods inherited from class de.uka.ilkd.key.logic.RenamingTable
getRenamingTable

private final HashMap<? extends SourceElement,? extends SourceElement> hmap

public MultiRenamingTable(HashMap<? extends SourceElement,? extends SourceElement> hmap)

public SourceElement getRenaming(SourceElement se)

public HashMap<? extends SourceElement,? extends SourceElement> getHashMap()

Class MultiRenamingTable