Uses of Interface
dev.civl.sarl.object.IF.ObjectFactory

Packages that use ObjectFactory

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.object.IF	Internal interface for the symbolic object module, providing mechanisms for creating SymbolicObjects.
dev.civl.sarl.preuniverse.IF	This package provides all of the functionality of a symbolic universe except reasoning.
dev.civl.sarl.type.IF	Internal interface for the "type" module, providing a SymbolicTypeFactory for producing SymbolicType s.

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

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

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

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

Modifier and Type	Method	Description
static BooleanExpressionFactory	Expressions.newCnfFactory(SymbolicTypeFactory typeFactory, ObjectFactory objectFactory)	Produces a new factory for creating BooleanExpressions that uses Conjunctive Normal Form (CNF) as the canonical representation of boolean expressions.
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 ObjectFactory in dev.civl.sarl.herbrand.IF

Methods in dev.civl.sarl.herbrand.IF with parameters of type ObjectFactory

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

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

Methods in dev.civl.sarl.ideal.IF with parameters of type ObjectFactory

Modifier and Type	Method	Description
static IdealFactory	Ideal.newIdealFactory(NumberFactory numberFactory, ObjectFactory objectFactory, SymbolicTypeFactory typeFactory, BooleanExpressionFactory booleanFactory)	Creates a new ideal factory based on the given factories.

Uses of ObjectFactory in dev.civl.sarl.object.IF

Methods in dev.civl.sarl.object.IF that return ObjectFactory

Modifier and Type	Method	Description
static ObjectFactory	Objects.newObjectFactory(NumberFactory numberFactory)

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

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

Modifier and Type	Method	Description
ObjectFactory	FactorySystem.objectFactory()
ObjectFactory	PreUniverse.objectFactory()	Returns the ObjectFactory used by this universe.

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

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

Uses of ObjectFactory in dev.civl.sarl.type.IF

Methods in dev.civl.sarl.type.IF that return ObjectFactory

Modifier and Type	Method	Description
ObjectFactory	SymbolicTypeFactory.objectFactory()

Methods in dev.civl.sarl.type.IF with parameters of type ObjectFactory

Modifier and Type	Method	Description
static SymbolicTypeFactory	Types.newTypeFactory(ObjectFactory objectFactory)