Uses of Class
org.smtlib.impl.Sort

Packages that use Sort

Package	Description
org.smtlib.impl	This package is an implementation of the interfaces defined in org.smtlib.
org.smtlib.sexpr	This package is a concrete implementation of a particular concrete syntax for the abstract SMT-LIB semantics.

Uses of Sort in org.smtlib.impl

Subclasses of Sort in org.smtlib.impl

Modifier and Type	Class	Description
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.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

Uses of Sort in org.smtlib.sexpr

Methods in org.smtlib.sexpr that return Sort

Modifier and Type	Method	Description
Sort	Parser.parseSort(List<ISort.IParameter> parameters)	Parses a sort, returning null with error messages if a valid sort is not in the next parser tokens.