Uses of Interface
org.smtlib.ISort.IFcnSort

Packages that use ISort.IFcnSort

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.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.IFcnSort in org.smtlib

Fields in org.smtlib declared as ISort.IFcnSort

Modifier and Type	Field	Description
ISort.IFcnSort	SymbolTable.Entry.sort	The Sort of the identifier

Methods in org.smtlib that return ISort.IFcnSort

Modifier and Type	Method	Description
ISort.IFcnSort	ISort.IFactory.createFcnSort(ISort[] args, ISort result)	Creates a function sort.
ISort.IFcnSort	SymbolTable.lookup(int arity, IExpr.IIdentifier name)	Lookup the Symbol with the given identifier and arity, returning its Sort.
ISort.IFcnSort	SymbolTable.lookupInstance(int arity, IExpr.IIdentifier name, ISort resultSort)	The signature of the arity-n function name, instantiated so that its result sort is resultSort (a par entry's parameters are bound by unification), or null if there is no such function or its result sort cannot be resultSort.
static ISort.IFcnSort	TypeChecker.resolveFcnSort(SymbolTable symTable, IExpr.IIdentifier id, List<ISort> sorts, ISort result, IPos pos, List<IResponse> errors)	Checks a function signature as checkFcn does, adding any errors to errors; returns the signature with its sorts resolved in the current scope (so a sort parameter in scope becomes its IParameter), or null if there were errors.

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

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

Constructors in org.smtlib with parameters of type ISort.IFcnSort

Modifier	Constructor	Description
	Entry(IExpr.IIdentifier name, ISort.IFcnSort sort, List<IExpr.IAttribute<?>> attrs, List<ISort.IParameter> parameters)	Constructs a symbol table entry

Uses of ISort.IFcnSort in org.smtlib.impl

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

Modifier and Type	Class	Description
static class	Sort.FcnSort	Represents the class of the sort of a function symbol.

Uses of ISort.IFcnSort in org.smtlib.sexpr

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

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

Uses of ISort.IFcnSort in org.smtlib.solvers

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

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