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

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

This package implements the main simplifier, which is based around a Context.

Class	Description
Context	A structured representation of a boolean formula (assumption), used for simplifying symbolic expressions.
ContextExtractor	A context extractor is used to build up a Context by consuming a BooleanExpression.
ContextIF	A context is an abstract representation of a boolean expression suitable for normalizing (simplifying) other expressions under the assumption that the context holds.
IdealSimplifier	An implementation of Simplifier for the "ideal" numeric factory IdealFactory.
IdealSimplifierFactory	A factory for producing new instances of IdealSimplifier.
IdealSimplifierWorker	An ideal simplifier worker is created to simplify one symbolic expression.
InconsistentContextException	Thrown when it has been determined that a @{link Context} is inconsistent, i.e., equivalent to false.
LinearSolver	A class used to simplify a constant map by applying linear reasoning.
LinearVariableSet	A structured representation of a set of Monics.
SimplifierUtility	An object that gathers together a variety of objects as fields needed to perform simplification.
SubContext	A sub-context represents a boolean expression that holds within the context of some other assumption.