Uses of Interface
org.smtlib.ISort.IParameter

Packages that use ISort.IParameter

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.command	This package contains implementations of the SMT-LIB commands, implementing the interfaces defined in ICommand; these implementations are independent of the concrete syntax that might be used, except that each command object has methods that can parse or print representations of the command in the standard (or potentially other) concrete syntaxes.
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.IParameter in org.smtlib

Fields in org.smtlib with type parameters of type ISort.IParameter

Modifier and Type	Field	Description
List<ISort.IParameter>	SymbolTable.Entry.parameters	The par-polymorphic parameters declared for this entry (null if this is a plain, monomorphic fun_symbol_decl rather than a par_fun_symbol_decl); sort's argSorts/ resultSort may reference these as ISort.IParameter placeholders, to be bound against actual argument sorts by a caller that wants to use this entry.

Methods in org.smtlib that return ISort.IParameter

Modifier and Type	Method	Description
ISort.IParameter	ISort.IFactory.createSortParameter(IExpr.ISymbol symbol)	Creates a parameter for a parameterized sort abbreviation.

Methods in org.smtlib that return types with arguments of type ISort.IParameter

Modifier and Type	Method	Description
default List<ISort.IParameter>	ICommand.Ideclare_fun.parameters()	Returns the par-polymorphic type parameters, for the experimental, non-standard "(declare-fun par (param+) (name sort+ attribute*))" form -- mirrors exactly the par_fun_symbol_decl shape a theory's own :funs entry uses.
List<ISort.IParameter>	ICommand.Idefine_sort.parameters()	Returns the list of sort parameters.
List<ISort.IParameter>	ISort.IAbbreviation.parameters()	The list of parameters of the abbreviation (possibly empty, but not null)

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

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

Method parameters in org.smtlib with type arguments of type ISort.IParameter

Modifier and Type	Method	Description
boolean	SymbolTable.addSortDefinition(IExpr.IIdentifier identifier, List<ISort.IParameter> parameters, ISort definition, boolean global)	Adds a new sort abbreviation definition to the given frame (global = background, else current).
static List<IResponse>	TypeChecker.checkSortAbbreviation(SymbolTable symTable, IExpr.IIdentifier id, List<ISort.IParameter> params, ISort expr)
void	ILanguage.checkSortDeclaration(IExpr.IIdentifier id, List<ISort.IParameter> params, ISort expr)	Checks whether the given sort declaration is permitted in the language, throwing an exception if not
ISort.IAbbreviation	ISort.IFactory.createSortAbbreviation(IExpr.IIdentifier identifier, List<ISort.IParameter> params, ISort sortExpr)	Creates a new sort abbreviation.
ICommand.Idefine_sort	ICommand.IFactory.define_sort(IExpr.ISymbol id, List<ISort.IParameter> parameters, ISort expression)	Creates a define-sort command object.
ISort	IParser.parseSort(List<ISort.IParameter> parameters)	Parses a sort, returning null with error messages if a valid sort is not in the next parser tokens.
ISort	ISort.substitute(Map<ISort.IParameter,ISort> map)	Returns a new sort with any parameters substituted

Uses of ISort.IParameter in org.smtlib.command

Fields in org.smtlib.command with type parameters of type ISort.IParameter

Modifier and Type	Field	Description
protected List<ISort.IParameter>	C_define_sort.args	The sort parameters of the sort being defined.
protected List<ISort.IParameter>	C_declare_fun.parameters	The par-polymorphic parameters (see parameters()).

Methods in org.smtlib.command that return types with arguments of type ISort.IParameter

Modifier and Type	Method	Description
List<ISort.IParameter>	C_declare_fun.parameters()
List<ISort.IParameter>	C_define_sort.parameters()	Returns the sort parameters of the sort being defined.

Constructor parameters in org.smtlib.command with type arguments of type ISort.IParameter

Modifier	Constructor	Description
	C_define_sort(IExpr.ISymbol id, List<ISort.IParameter> parameters, ISort expr)	Constructs a command instance

Uses of ISort.IParameter in org.smtlib.impl

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

Modifier and Type	Class	Description
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 with type parameters of type ISort.IParameter

Modifier and Type	Field	Description
protected List<ISort.IParameter>	Sort.Abbreviation.parameters

Methods in org.smtlib.impl that return types with arguments of type ISort.IParameter

Modifier and Type	Method	Description
List<ISort.IParameter>	Sort.Abbreviation.parameters()

Method parameters in org.smtlib.impl with type arguments of type ISort.IParameter

Modifier and Type	Method	Description
void	SMTExpr.Logic.checkSortDeclaration(IExpr.IIdentifier id, List<ISort.IParameter> params, ISort expr)
Sort.Abbreviation	Factory.createSortAbbreviation(IExpr.IIdentifier identifier, List<ISort.IParameter> params, ISort sortExpr)
ICommand.Idefine_sort	Factory.define_sort(IExpr.ISymbol id, List<ISort.IParameter> ps, ISort e)
ISort	Sort.Application.substitute(Map<ISort.IParameter,ISort> map)
ISort	Sort.FcnSort.substitute(Map<ISort.IParameter,ISort> map)
ISort	Sort.Parameter.substitute(Map<ISort.IParameter,ISort> map)

Constructor parameters in org.smtlib.impl with type arguments of type ISort.IParameter

Modifier	Constructor	Description
	Abbreviation(IExpr.IIdentifier identifier, List<ISort.IParameter> parameters, ISort sortExpression)	Creates a sort abbreviation with the given identifier, parameter list, and defining expression.

Uses of ISort.IParameter in org.smtlib.logic

Method parameters in org.smtlib.logic with type arguments of type ISort.IParameter

Modifier and Type	Method	Description
void	ALL.checkSortDeclaration(IExpr.IIdentifier id, List<ISort.IParameter> params, ISort expr)
void	AUFLIA.checkSortDeclaration(IExpr.IIdentifier id, List<ISort.IParameter> params, ISort expr)
void	AUFLIRA.checkSortDeclaration(IExpr.IIdentifier id, List<ISort.IParameter> params, ISort expr)
void	AUFNIRA.checkSortDeclaration(IExpr.IIdentifier id, List<ISort.IParameter> params, ISort expr)
void	LIA.checkSortDeclaration(IExpr.IIdentifier id, List<ISort.IParameter> params, ISort expr)
void	LRA.checkSortDeclaration(IExpr.IIdentifier id, List<ISort.IParameter> params, ISort expr)
void	QF_ABV.checkSortDeclaration(IExpr.IIdentifier id, List<ISort.IParameter> params, ISort expr)
void	QF_AUFBV.checkSortDeclaration(IExpr.IIdentifier id, List<ISort.IParameter> params, ISort expr)
void	QF_AUFLIA.checkSortDeclaration(IExpr.IIdentifier id, List<ISort.IParameter> params, ISort expr)
void	QF_AX.checkSortDeclaration(IExpr.IIdentifier id, List<ISort.IParameter> params, ISort expr)
void	QF_BV.checkSortDeclaration(IExpr.IIdentifier id, List<ISort.IParameter> params, ISort expr)
void	QF_EIA.checkSortDeclaration(IExpr.IIdentifier id, List<ISort.IParameter> params, ISort expr)
void	QF_FP.checkSortDeclaration(IExpr.IIdentifier id, List<ISort.IParameter> params, ISort expr)
void	QF_IDL.checkSortDeclaration(IExpr.IIdentifier id, List<ISort.IParameter> params, ISort expr)
void	QF_NIA.checkSortDeclaration(IExpr.IIdentifier id, List<ISort.IParameter> params, ISort expr)
void	QF_NRA.checkSortDeclaration(IExpr.IIdentifier id, List<ISort.IParameter> params, ISort expr)
void	QF_RDL.checkSortDeclaration(IExpr.IIdentifier id, List<ISort.IParameter> params, ISort expr)
void	QF_UFIDL.checkSortDeclaration(IExpr.IIdentifier id, List<ISort.IParameter> params, ISort expr)
void	QF_UFLIA.checkSortDeclaration(IExpr.IIdentifier id, List<ISort.IParameter> params, ISort expr)
void	QF_UFLRA.checkSortDeclaration(IExpr.IIdentifier id, List<ISort.IParameter> params, ISort expr)
void	QF_UFNRA.checkSortDeclaration(IExpr.IIdentifier id, List<ISort.IParameter> params, ISort expr)
void	UFLRA.checkSortDeclaration(IExpr.IIdentifier id, List<ISort.IParameter> params, ISort expr)
void	UFNIA.checkSortDeclaration(IExpr.IIdentifier id, List<ISort.IParameter> params, ISort expr)
void	Logic.noSorts(IExpr.IIdentifier id, List<ISort.IParameter> params, ISort expr)

Uses of ISort.IParameter in org.smtlib.sexpr

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

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

Method parameters in org.smtlib.sexpr with type arguments of type ISort.IParameter

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.
List<ISort>	Parser.parseSortList(List<ISort.IParameter> parameters)	Parses sequence of sorts up to a right-parenthesis, returning null with error messages if an error occurs.

Uses of ISort.IParameter in org.smtlib.solvers

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

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