public final class SortImpl extends AbstractSort
ANY, CAST_NAME, EXACT_INSTANCE_NAME, FORMULA, INSTANCE_NAME, TERMLABEL, UPDATE
Constructor and Description |
---|
SortImpl(Name name) |
SortImpl(Name name,
ImmutableSet<Sort> ext) |
SortImpl(Name name,
ImmutableSet<Sort> ext,
boolean isAbstract) |
SortImpl(Name name,
Sort ext) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object o) |
declarationString, extendsSorts, extendsSorts, extendsTrans, getCastSymbol, getExactInstanceofSymbol, getInstanceofSymbol, isAbstract, name, toString
public SortImpl(Name name, ImmutableSet<Sort> ext, boolean isAbstract)
public SortImpl(Name name, ImmutableSet<Sort> ext)
public SortImpl(Name name)