public class SortHierarchy
extends java.lang.Object
Modifier | Constructor and Description |
---|---|
protected |
SortHierarchy(java.util.HashMap<Sort,java.lang.StringBuffer> sortnames,
java.util.HashMap<Sort,java.lang.StringBuffer> prednames,
boolean explicitNullHierarchy,
boolean explicitHierarchy,
Services services)
Create a Sort Hierarchy.
|
Modifier and Type | Method and Description |
---|---|
java.util.LinkedList<de.uka.ilkd.key.smt.SortWrapper> |
getSorts() |
protected SortHierarchy(java.util.HashMap<Sort,java.lang.StringBuffer> sortnames, java.util.HashMap<Sort,java.lang.StringBuffer> prednames, boolean explicitNullHierarchy, boolean explicitHierarchy, Services services)
sortnames
- a HashMap of sorts mapped to the Strings which is displayed in
FormulasCopyright © 2003-2019 The KeY-Project.