de.uka.ilkd.key.smt

Class SortHierarchy

java.lang.Object

de.uka.ilkd.key.smt.SortHierarchy

public class SortHierarchy
extends Object

The SortHierarchy works as a wrapper class for sorts.

Author:

Simon Greiner

Field Summary

Fields

Modifier and Type	Field and Description
private LinkedList<SortWrapper>	sorts

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	SortHierarchy(HashMap<Sort,StringBuffer> sortnames, HashMap<Sort,StringBuffer> prednames, boolean explicitNullHierarchy, boolean explicitHierarchy, Services services) Create a Sort Hierarchy.

Method Summary

Modifier and Type	Method and Description
LinkedList<SortWrapper>	getSorts()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

sorts

private LinkedList<SortWrapper> sorts

Constructor Detail

SortHierarchy

protected SortHierarchy(HashMap<Sort,StringBuffer> sortnames,
                        HashMap<Sort,StringBuffer> prednames,
                        boolean explicitNullHierarchy,
                        boolean explicitHierarchy,
                        Services services)

Create a Sort Hierarchy.

Parameters:

sortnames - a HashMap of sorts mapped to the Strings which is displayed in Formulas

Method Detail

getSorts

public LinkedList<SortWrapper> getSorts()