Uses of Interface
dev.civl.sarl.expr.IF.ExpressionFactory

Packages that use ExpressionFactory

Package	Description
dev.civl.sarl.expr.IF	This package provides the internal interface for the representation of basic symbolic expressions.
dev.civl.sarl.preuniverse.IF	This package provides all of the functionality of a symbolic universe except reasoning.

Uses of ExpressionFactory in dev.civl.sarl.expr.IF

Methods in dev.civl.sarl.expr.IF that return ExpressionFactory

Modifier and Type	Method	Description
static ExpressionFactory	Expressions.newExpressionFactory(NumericExpressionFactory numericFactory)	Produces a new instance of the standard expression factory.
static ExpressionFactory	Expressions.newHerbrandExpressionFactory(NumberFactory numberFactory, ObjectFactory objectFactory, SymbolicTypeFactory typeFactory)	Produces a new expression factory in which the underlying NumericExpressionFactory is based on "Herbrand arithmetic", i.e., arithmetic in which the numeric operations are treated as uninterpreted functions.
static ExpressionFactory	Expressions.newIdealExpressionFactory(NumberFactory numberFactory, ObjectFactory objectFactory, SymbolicTypeFactory typeFactory)	Produces a new expression factory in which the underlying NumericExpressionFactory uses "ideal" (mathematical) integer and real arithmetic, i.e., infinite precision, unbounded arithmetic.
static ExpressionFactory	Expressions.newStandardExpressionFactory(NumberFactory numberFactory, ObjectFactory objectFactory, SymbolicTypeFactory typeFactory)	Produces a new expression factory that uses both Herbrand and Ideal arithmetic.

Uses of ExpressionFactory in dev.civl.sarl.preuniverse.IF

Methods in dev.civl.sarl.preuniverse.IF that return ExpressionFactory

Modifier and Type	Method	Description
ExpressionFactory	FactorySystem.expressionFactory()

Methods in dev.civl.sarl.preuniverse.IF with parameters of type ExpressionFactory

Modifier and Type	Method	Description
static FactorySystem	PreUniverses.newFactorySystem(ObjectFactory objectFactory, SymbolicTypeFactory typeFactory, ExpressionFactory expressionFactory)