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

Packages that use NumericExpressionFactory

Package	Description
dev.civl.sarl.expr.IF	This package provides the internal interface for the representation of basic symbolic expressions.
dev.civl.sarl.herbrand.IF	This package provides the internal interface supporting Herbrand arithmetic, i.e., arithmetic in which all operations are treated as uninterpreted operations.
dev.civl.sarl.ideal.IF	The ideal module supports reasoning about numerical expressions using "ideal" mathematical reals and integers.
dev.civl.sarl.preuniverse.IF	This package provides all of the functionality of a symbolic universe except reasoning.

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

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

Modifier and Type	Method	Description
NumericExpressionFactory	ExpressionFactory.numericFactory()	Returns the numeric expression factory used by this expression factory.

Methods in dev.civl.sarl.expr.IF with parameters of type NumericExpressionFactory

Modifier and Type	Method	Description
static ExpressionFactory	Expressions.newExpressionFactory(NumericExpressionFactory numericFactory)	Produces a new instance of the standard expression factory.
void	BooleanExpressionFactory.setNumericExpressionFactory(NumericExpressionFactory numericExpressionFactory)	The boolean factory needs a numeric expression factory in order to negate expressions like "ainvalid input: '<'b" or "ainvalid input: '<'=b".

Uses of NumericExpressionFactory in dev.civl.sarl.herbrand.IF

Methods in dev.civl.sarl.herbrand.IF that return NumericExpressionFactory

Modifier and Type	Method	Description
static NumericExpressionFactory	Herbrand.newHerbrandFactory(NumberFactory numberFactory, ObjectFactory objectFactory, SymbolicTypeFactory typeFactory, BooleanExpressionFactory booleanFactory)

Uses of NumericExpressionFactory in dev.civl.sarl.ideal.IF

Subinterfaces of NumericExpressionFactory in dev.civl.sarl.ideal.IF

Modifier and Type	Interface	Description
interface	IdealFactory	An IdealFactory provides a few services beyond those guaranteed by an arbitrary NumericExpressionFactory.

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

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

Modifier and Type	Method	Description
NumericExpressionFactory	FactorySystem.numericFactory()