Uses of Interface
org.smtlib.IExpr.IFactory

Packages that use IExpr.IFactory

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

Fields in org.smtlib declared as IExpr.IFactory

Modifier and Type	Field	Description
IExpr.IFactory	SMT.Configuration.exprFactory	The factory to use to create IExpr objects

Uses of IExpr.IFactory in org.smtlib.impl

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

Modifier and Type	Class	Description
class	Factory	Implements a factory for SMT-LIB expressions using the standard concrete syntax.

Uses of IExpr.IFactory in org.smtlib.sexpr

Fields in org.smtlib.sexpr declared as IExpr.IFactory

Modifier and Type	Field	Description
protected final IExpr.IFactory	Parser.factory	The (common) factory used to generate objects