Uses of Interface
org.smtlib.IExpr.IFcnExpr

Packages that use IExpr.IFcnExpr

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

Methods in org.smtlib that return IExpr.IFcnExpr

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).

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

Modifier and Type	Method	Description
T	IVisitor.TreeVisitor.visit(IExpr.IFcnExpr e)
T	IVisitor.visit(IExpr.IFcnExpr e)
ISort	TypeChecker.visit(IExpr.IFcnExpr e)

Uses of IExpr.IFcnExpr in org.smtlib.impl

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

Modifier and Type	Class	Description
static class	SMTExpr.FcnExpr	Represents a function-application expression: a qualified identifier applied to a list of argument expressions.

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

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

Uses of IExpr.IFcnExpr in org.smtlib.logic

Methods in org.smtlib.logic with parameters of type IExpr.IFcnExpr

Modifier and Type	Method	Description
protected abstract void	DifferenceLogic.checkAtom(IExpr.IFcnExpr atom, IExpr lhs, IExpr rhs)	Checks the arguments of a binary arithmetic atom (op lhs rhs).
protected void	QF_IDL.checkAtom(IExpr.IFcnExpr e, IExpr lhs, IExpr rhs)
protected void	QF_RDL.checkAtom(IExpr.IFcnExpr e, IExpr lhs, IExpr rhs)
protected static List<IExpr>	Logic.nonCoefficients(IExpr.IFcnExpr e, Predicate<IExpr> isCoefficient)	The arguments of an application (of * or /) that are not coefficients.

Uses of IExpr.IFcnExpr in org.smtlib.sexpr

Methods in org.smtlib.sexpr with parameters of type IExpr.IFcnExpr

Modifier and Type	Method	Description
Void	Printer.visit(IExpr.IFcnExpr e)

Uses of IExpr.IFcnExpr in org.smtlib.solvers

Methods in org.smtlib.solvers with parameters of type IExpr.IFcnExpr

Modifier and Type	Method	Description
String	Solver_simplify.Translator.visit(IExpr.IFcnExpr e)
Void	Solver_z3_4_3.Translator.visit(IExpr.IFcnExpr e)