Uses of Interface
org.smtlib.ISort.IApplication

Packages that use ISort.IApplication

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.
org.smtlib.logic	This package contains implementations of classes that implement the constraints of individual logics.
org.smtlib.sexpr	This package is a concrete implementation of a particular concrete syntax for the abstract SMT-LIB semantics.
org.smtlib.solvers	This package implements various instances of org.smtlib.ISolver, which are specific solvers that wrap and interact with various off-the-shelf SMT solvers currently available.

Uses of ISort.IApplication in org.smtlib

Methods in org.smtlib that return ISort.IApplication

Modifier and Type	Method	Description
ISort.IApplication	ISort.IFactory.Bool()	Returns the Bool sort.
ISort.IApplication	ISort.IFactory.createSortExpression(IExpr.IIdentifier sortFamily, List<ISort> exprs)	Creates a sort expression, applying a family to a list of sort arguments; the arity of the identifier in the applicable symbol table must match the number of sort arguments.
ISort.IApplication	ISort.IFactory.createSortExpression(IExpr.IIdentifier sortFamily, ISort... exprs)	Creates a sort expression, applying a family to a list of sort arguments; the arity of the identifier in the applicable symbol table must match the number of sort arguments.

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

Modifier and Type	Method	Description
T	IVisitor.TreeVisitor.visit(ISort.IApplication s)
T	IVisitor.visit(ISort.IApplication s)
ISort	TypeChecker.visit(ISort.IApplication s)

Uses of ISort.IApplication in org.smtlib.impl

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

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

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

Modifier and Type	Method	Description
ISort.IApplication	Factory.Bool()
static ISort.IApplication	Sort.Bool()	Returns the pre-defined Bool sort
ISort.IApplication	Sort.Family.eval(List<ISort> sorts)

Uses of ISort.IApplication in org.smtlib.logic

Methods in org.smtlib.logic with parameters of type ISort.IApplication

Modifier and Type	Method	Description
protected boolean	AUFLIA.allowedArraySort(ISort.IApplication array)
protected boolean	AUFLIRA.allowedArraySort(ISort.IApplication array)
protected boolean	Logic.allowedArraySort(ISort.IApplication array)	Whether this logic allows the Array sort array, whose own sort is already expanded and which contains no sort parameter
protected boolean	QF_ABV.allowedArraySort(ISort.IApplication array)
protected boolean	QF_AUFBV.allowedArraySort(ISort.IApplication array)
protected boolean	QF_AUFLIA.allowedArraySort(ISort.IApplication array)
protected static boolean	Logic.isBitVecArray(ISort.IApplication array)	Whether array is (Array (_ BitVec i) (_ BitVec j)), as QF_ABV and QF_AUFBV require

Uses of ISort.IApplication in org.smtlib.sexpr

Methods in org.smtlib.sexpr with parameters of type ISort.IApplication

Modifier and Type	Method	Description
Void	Printer.visit(ISort.IApplication s)

Uses of ISort.IApplication in org.smtlib.solvers

Methods in org.smtlib.solvers with parameters of type ISort.IApplication

Modifier and Type	Method	Description
String	Solver_simplify.Translator.visit(ISort.IApplication s)