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

Packages that use BooleanExpressionFactory

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 BooleanExpressionFactory in dev.civl.sarl.expr.IF

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

Modifier and Type	Method	Description
BooleanExpressionFactory	ExpressionFactory.booleanFactory()	Returns the boolean expression factory used by this expression factory.
BooleanExpressionFactory	NumericExpressionFactory.booleanFactory()	Returns the boolean expression factory used by this numeric expression factory.
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.

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

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

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

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

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

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

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

Modifier and Type	Method	Description
BooleanExpressionFactory	FactorySystem.booleanFactory()