Uses of Interface
org.smtlib.IExpr.IQualifiedIdentifier

Packages that use IExpr.IQualifiedIdentifier

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.

Uses of IExpr.IQualifiedIdentifier in org.smtlib

Subinterfaces of IExpr.IQualifiedIdentifier in org.smtlib

Modifier and Type	Interface	Description
static interface	IExpr.IAsIdentifier	This interface represents SMT-LIB identifiers that are sort qualifiers on function ids
static interface	IExpr.IIdentifier	This interface represents SMT-LIB identifiers (either ids or parameterized ids)
static interface	IExpr.IParameterizedIdentifier	This interface represents SMT-LIB parameterized identifiers
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 IExpr.IQualifiedIdentifier

Modifier and Type	Method	Description
IExpr.IQualifiedIdentifier	IExpr.IFcnExpr.head()	The function identifier
IExpr.IQualifiedIdentifier	IParser.parseQualifiedIdentifier()	Parses a qualified identifier (either a symbol, a parameterized identifier, or an as identifier) from the token stream, returning null (with logged error messages) if there is not one.

Methods in org.smtlib with parameters of type IExpr.IQualifiedIdentifier

Modifier and Type	Method	Description
IExpr.IFcnExpr	IExpr.IFactory.fcn(IExpr.IQualifiedIdentifier id, List<IExpr> args)	Creates a function expression (perhaps with an empty argument list).
IExpr.IFcnExpr	IExpr.IFactory.fcn(IExpr.IQualifiedIdentifier id, IExpr... args)	Creates a function expression (perhaps with an empty argument list).

Uses of IExpr.IQualifiedIdentifier in org.smtlib.impl

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

Modifier and Type	Class	Description
static class	SMTExpr.AsIdentifier	This class represents an SMT as-identifier AST
static class	SMTExpr.ParameterizedIdentifier	This class represents an SMT parameterized-identifier AST (e.g.
static class	SMTExpr.Symbol	This class represents an SMT Symbol

Fields in org.smtlib.impl declared as IExpr.IQualifiedIdentifier

Modifier and Type	Field	Description
protected IExpr.IQualifiedIdentifier	SMTExpr.FcnExpr.id

Methods in org.smtlib.impl that return IExpr.IQualifiedIdentifier

Modifier and Type	Method	Description
IExpr.IQualifiedIdentifier	SMTExpr.FcnExpr.head()

Methods in org.smtlib.impl with parameters of type IExpr.IQualifiedIdentifier

Modifier and Type	Method	Description
IExpr.IFcnExpr	Factory.fcn(IExpr.IQualifiedIdentifier id, List<IExpr> args)
IExpr.IFcnExpr	Factory.fcn(IExpr.IQualifiedIdentifier id, IExpr... args)

Constructors in org.smtlib.impl with parameters of type IExpr.IQualifiedIdentifier

Modifier	Constructor	Description
	FcnExpr(IExpr.IQualifiedIdentifier id, List<IExpr> args)	Creates a function application from the given identifier and argument list.

Uses of IExpr.IQualifiedIdentifier in org.smtlib.sexpr

Methods in org.smtlib.sexpr that return IExpr.IQualifiedIdentifier

Modifier and Type	Method	Description
IExpr.IQualifiedIdentifier	Parser.parseQualifiedIdentifier()	Parses a qualified identifier (either a symbol, a parameterized identifier, or an as identifier) from the token stream, returning null (with logged error messages) if there is not one.