public class ProxySort extends AbstractSort
ANY, CAST_NAME, EXACT_INSTANCE_NAME, FORMULA, INSTANCE_NAME, TERMLABEL, UPDATE
Constructor and Description |
---|
ProxySort(Name name) |
ProxySort(Name name,
ImmutableSet<Sort> ext) |
declarationString, extendsSorts, extendsSorts, extendsTrans, getCastSymbol, getExactInstanceofSymbol, getInstanceofSymbol, isAbstract, name, toString
public ProxySort(Name name, ImmutableSet<Sort> ext)
public ProxySort(Name name)