| de.uka.ilkd.key.logic.sort.Sort
All known Subclasses: de.uka.ilkd.key.logic.sort.AbstractSort,
ANY | Sort ANY(Code) | | this sort is the mother of all sorts for java dl
TODO: should OCLSorts extendTrans this sort too?
|
extendsSorts | SetOfSort extendsSorts()(Code) | | For finding out whether a certain sort is super- or subsort of another
sort or not, please use extendsTrans .
Using extendsSorts() for this purpose may lead to
undesired results when dealing with array- and intersection sorts!
the sorts of the predecessors of this sort |
extendsTrans | boolean extendsTrans(Sort s)(Code) | | returns true iff the given sort is a transitive supersort of this sort
or it is the same.
|
getEqualitySymbol | Equality getEqualitySymbol()(Code) | | equality symbol of this sort |
|
|