public interface Sort extends Named
Modifier and Type | Field and Description |
---|---|
static Sort |
ANY
Any is a supersort of all sorts.
|
static Name |
CAST_NAME |
static Name |
EXACT_INSTANCE_NAME |
static Sort |
FORMULA
Formulas are represented as "terms" of this sort.
|
static Name |
INSTANCE_NAME |
static Sort |
TERMLABEL
Term labels are represented as "terms" of this sort.
|
static Sort |
UPDATE
Updates are represented as "terms" of this sort.
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
declarationString() |
ImmutableSet<Sort> |
extendsSorts()
Returns the direct supersorts of this sort.
|
ImmutableSet<Sort> |
extendsSorts(Services services)
Returns the direct supersorts of this sort.
|
boolean |
extendsTrans(Sort s)
Tells whether the given sort is a reflexive, transitive subsort of this
sort.
|
SortDependingFunction |
getCastSymbol(TermServices services)
returns the cast symbol of this Sort
|
SortDependingFunction |
getExactInstanceofSymbol(TermServices services)
returns the exactinstanceof symbol of this Sort
|
SortDependingFunction |
getInstanceofSymbol(TermServices services)
returns the instanceof symbol of this Sort
|
boolean |
isAbstract()
Tells whether this sort has no exact elements.
|
static final Sort FORMULA
static final Sort UPDATE
static final Sort TERMLABEL
static final Sort ANY
static final Name CAST_NAME
static final Name INSTANCE_NAME
static final Name EXACT_INSTANCE_NAME
ImmutableSet<Sort> extendsSorts()
ImmutableSet<Sort> extendsSorts(Services services)
boolean extendsTrans(Sort s)
boolean isAbstract()
SortDependingFunction getCastSymbol(TermServices services)
SortDependingFunction getInstanceofSymbol(TermServices services)
SortDependingFunction getExactInstanceofSymbol(TermServices services)
java.lang.String declarationString()