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

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

Package	Description
dev.civl.sarl.simplify.IF	Interfaces for the simplification of symbolic expressions.

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

Class	Description
ContextPartition	Provides a partition of the set of conjunctive clauses of a BooleanExpression (the context) and a method to use that partition for context minimization.
Range	An abstract representation of a set of Numbers.
Range.RangeSign	A categorization of ranges based on their relationship to 0.
RangeFactory	Factory for producing instances of Range.