Package org.smtlib.impl

Class Sort

java.lang.Object

org.smtlib.impl.Pos.Posable

org.smtlib.impl.Pos.Printable

org.smtlib.impl.Sort

All Implemented Interfaces:

INode, IPos.IPosable, ISort

Direct Known Subclasses:

Sort.Application, Sort.FcnSort, Sort.Parameter

public abstract class Sort
extends Pos.Printable
implements ISort

This class implements the abstract ISort interface

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	Sort.Abbreviation	Implements a Sort abbreviation (parameterized definition, possibly with no parameters)
static class	Sort.Application	Represents a sort expression consisting of a sort symbol or sort abbreviation symbol applied to a corresponding number of sort arguments
static class	Sort.ErrorDefinition	A placeholder sort definition used when a sort declaration is ill-formed, to suppress cascading errors.
static class	Sort.Family	Represents a new sort symbol, with a given identifier and arity
static class	Sort.FcnSort	Represents the class of the sort of a function symbol.
static class	Sort.Parameter	Represents a Sort parameter, such as in either the parameter list or the expression of a Sort abbreviation

Nested classes/interfaces inherited from interface org.smtlib.ISort

ISort.IAbbreviation, ISort.IApplication, ISort.IDatatype, ISort.IDefinition, ISort.IErrorDefinition, ISort.IFactory, ISort.IFamily, ISort.IFcnSort, ISort.IParameter

Field Summary

Fields inherited from class org.smtlib.impl.Pos.Posable

pos

Constructor Summary

Constructors

Constructor	Description
Sort()

Method Summary

Modifier and Type	Method	Description
static ISort.IApplication	Bool()	Returns the pre-defined Bool sort
boolean	isBool()	Returns true iff the receiver is a Sort expression designating the pre-defined Bool sort

Methods inherited from class org.smtlib.impl.Pos.Printable

toString

Methods inherited from class org.smtlib.impl.Pos.Posable

equals, hashCode, pos, setPos

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.smtlib.INode

accept

Methods inherited from interface org.smtlib.IPos.IPosable

pos, setPos

Methods inherited from interface org.smtlib.ISort

equals, equalsNoExpand, expand, substitute

Constructor Details

Sort

public Sort()

Method Details

isBool

public boolean isBool()

Returns true iff the receiver is a Sort expression designating the pre-defined Bool sort

Specified by:

isBool in interface ISort

Bool

public static ISort.IApplication Bool()

Returns the pre-defined Bool sort