Uses of Interface
dev.civl.sarl.type.IF.SymbolicTypeFactory

Packages that use SymbolicTypeFactory

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.
dev.civl.sarl.type.IF	Internal interface for the "type" module, providing a SymbolicTypeFactory for producing SymbolicType s.

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

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

Modifier and Type	Method	Description
SymbolicTypeFactory	ExpressionFactory.typeFactory()	Returns the symbolic type factory used by this expression factory.
SymbolicTypeFactory	NumericExpressionFactory.typeFactory()	Returns the type factory used by this numeric expression factory.

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

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 SymbolicTypeFactory in dev.civl.sarl.herbrand.IF

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

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

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

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

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 SymbolicTypeFactory in dev.civl.sarl.preuniverse.IF

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

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

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

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

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

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

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