Uses of Package
dev.civl.sarl.expr.IF

Packages that use dev.civl.sarl.expr.IF

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.

Classes in dev.civl.sarl.expr.IF used by dev.civl.sarl.expr.IF

Class	Description
BooleanExpressionFactory
ExpressionFactory	An ExpressionFactory is used to instantiate instances of SymbolicExpression.
NumericExpressionFactory	A NumericExpressionFactory provides all of the functionality needed to create and manipulate expressions of numeric type.

Classes in dev.civl.sarl.expr.IF used by dev.civl.sarl.herbrand.IF

Class	Description
BooleanExpressionFactory
NumericExpressionFactory	A NumericExpressionFactory provides all of the functionality needed to create and manipulate expressions of numeric type.

Classes in dev.civl.sarl.expr.IF used by dev.civl.sarl.ideal.IF

Class	Description
BooleanExpressionFactory
NumericExpressionFactory	A NumericExpressionFactory provides all of the functionality needed to create and manipulate expressions of numeric type.

Classes in dev.civl.sarl.expr.IF used by dev.civl.sarl.preuniverse.IF

Class	Description
BooleanExpressionFactory
ExpressionFactory	An ExpressionFactory is used to instantiate instances of SymbolicExpression.
NumericExpressionFactory	A NumericExpressionFactory provides all of the functionality needed to create and manipulate expressions of numeric type.