Package edu.udel.cis.vsl.sarl.simplify.IF

package edu.udel.cis.vsl.sarl.simplify.IF

Interfaces for the simplification of symbolic expressions. Entry point: Simplify.

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.
Simplifier	A simplifier is an object for simplifying symbolic expressions.
SimplifierFactory	A factory for producing instances of Simplifier.
Simplify	Entry point for module "simplify", providing static method to create basic simplifiers, simplifier factories, and range factories.