Uses of Interface
org.smtlib.IExpr.IIndex

Packages that use IExpr.IIndex

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

Subinterfaces of IExpr.IIndex in org.smtlib

Modifier and Type	Interface	Description
static interface	IExpr.IBinaryLiteral	This interface represents SMT-LIB binary literals
static interface	IExpr.IHexLiteral	This interface represents SMT-LIB hex literals
static interface	IExpr.INumeral	This interface represents non-negative integers of arbitrary size.
static interface	IExpr.ISymbol	This interface represents SMT-LIB ids; equal ids have equal (using .equals) values of value().

Methods in org.smtlib that return types with arguments of type IExpr.IIndex

Modifier and Type	Method	Description
List<IExpr.IIndex>	IExpr.IParameterizedIdentifier.indices()	All indices of the identifier: INumeral or ISymbol, or the literals IIndex describes.

Method parameters in org.smtlib with type arguments of type IExpr.IIndex

Modifier and Type	Method	Description
IExpr.IParameterizedIdentifier	IExpr.IFactory.id(IExpr.ISymbol symbol, List<IExpr.IIndex> indices)	Creates a parameterized identifier from a symbol and a non-empty list of indices (each INumeral or ISymbol).

Uses of IExpr.IIndex in org.smtlib.impl

Classes in org.smtlib.impl that implement IExpr.IIndex

Modifier and Type	Class	Description
static class	SMTExpr.BinaryLiteral	Represents an SMT-LIB binary literal (e.g.
static class	SMTExpr.HexLiteral	Represents an SMT-LIB hex literal (e.g.
static class	SMTExpr.Numeral	This class represents an SMT Numeral expression or syntax token
static class	SMTExpr.Symbol	This class represents an SMT Symbol

Fields in org.smtlib.impl with type parameters of type IExpr.IIndex

Modifier and Type	Field	Description
protected List<IExpr.IIndex>	SMTExpr.ParameterizedIdentifier.indices

Methods in org.smtlib.impl that return types with arguments of type IExpr.IIndex

Modifier and Type	Method	Description
List<IExpr.IIndex>	SMTExpr.ParameterizedIdentifier.indices()

Method parameters in org.smtlib.impl with type arguments of type IExpr.IIndex

Modifier and Type	Method	Description
IExpr.IParameterizedIdentifier	Factory.id(IExpr.ISymbol symbol, List<IExpr.IIndex> indices)

Constructor parameters in org.smtlib.impl with type arguments of type IExpr.IIndex

Modifier	Constructor	Description
	ParameterizedIdentifier(IExpr.ISymbol symbol, List<IExpr.IIndex> indices)	Creates a parameterized identifier from the given head symbol and index list.