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

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

Partial and full implementations of simplification interfaces specified in edu.udel.cis.vsl.sarl.simplify.IF.

Classes

Class	Description
CommonContextPartition	Implementation of ContextPartition.
IdentitySimplifier	A trivial implementation of Simplifier which does nothing: given an expression, it returns the expression unchanged.
IdentitySimplifierFactory	Factory for producing instances of IdentitySimplifier.
IntervalUnionFactory
IntervalUnionSet	Implementation of Range in which a set is represented as a finite union of intervals.