Uses of Interface
org.smtlib.ISort.IDefinition

Packages that use ISort.IDefinition

Package	Description
org.smtlib	This package contains the main classes and abstract interfaces for this SMT-LIB tool; the tool provides a stand-alone SMT-LIB-compliant command-line application, an application that responds to SMT-LIB commands over a network port, and an SMT-LIB Java API.
org.smtlib.impl	This package is an implementation of the interfaces defined in org.smtlib.

Uses of ISort.IDefinition in org.smtlib

Subinterfaces of ISort.IDefinition in org.smtlib

Modifier and Type	Interface	Description
static interface	ISort.IAbbreviation	This interface represents a new Sort symbol designating an abbreviation for a (possibly parameterized) sort expression.
static interface	ISort.IErrorDefinition	Represents an erroneous sort definition; by having an actual IDefinition, redundant cascading errors are suppressed.
static interface	ISort.IFamily	This interface represents a new Sort symbol designating either a new Sort (if the arity is 0) or a new parameterized Sort family (if the arity is greater than 0); each new symbol has a (new) name and a non-negative arity.
static interface	ISort.IParameter	The interface for a sort parameter, as used in sort abbreviations (including in the defining expression).

Methods in org.smtlib that return ISort.IDefinition

Modifier and Type	Method	Description
ISort.IDefinition	ISort.IApplication.definition()	The definition of the family identifier, valid after the sort expression has been type-checked.
ISort.IDefinition	ISort.IApplication.definition(ISort.IDefinition definition)	Sets and returns the value of definition() for this object to the value that is the argument
ISort.IDefinition	SymbolTable.lookupSort(IExpr.IIdentifier name)	Looks up the Sort definition with the given name

Methods in org.smtlib with parameters of type ISort.IDefinition

Modifier and Type	Method	Description
ISort.IDefinition	ISort.IApplication.definition(ISort.IDefinition definition)	Sets and returns the value of definition() for this object to the value that is the argument

Uses of ISort.IDefinition in org.smtlib.impl

Classes in org.smtlib.impl that implement ISort.IDefinition

Modifier and Type	Class	Description
static class	Sort.Abbreviation	Implements a Sort abbreviation (parameterized definition, possibly with no parameters)
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.Parameter	Represents a Sort parameter, such as in either the parameter list or the expression of a Sort abbreviation

Fields in org.smtlib.impl declared as ISort.IDefinition

Modifier and Type	Field	Description
protected ISort.IDefinition	Sort.Application.definition	Reference to definition; filled in during type-checking

Methods in org.smtlib.impl that return ISort.IDefinition

Modifier and Type	Method	Description
ISort.IDefinition	Sort.Application.definition()
ISort.IDefinition	Sort.Application.definition(ISort.IDefinition definition)

Methods in org.smtlib.impl with parameters of type ISort.IDefinition

Modifier and Type	Method	Description
ISort.IDefinition	Sort.Application.definition(ISort.IDefinition definition)