public class SortHierarchy extends Object
Modifier and Type | Field and Description |
---|---|
private LinkedList<SortWrapper> |
sorts |
Modifier | Constructor and Description |
---|---|
protected |
SortHierarchy(HashMap<Sort,StringBuffer> sortnames,
HashMap<Sort,StringBuffer> prednames,
boolean explicitNullHierarchy,
boolean explicitHierarchy,
Services services)
Create a Sort Hierarchy.
|
private LinkedList<SortWrapper> sorts
protected SortHierarchy(HashMap<Sort,StringBuffer> sortnames, HashMap<Sort,StringBuffer> prednames, boolean explicitNullHierarchy, boolean explicitHierarchy, Services services)
sortnames
- a HashMap of sorts mapped to the Strings which is displayed in
Formulaspublic LinkedList<SortWrapper> getSorts()