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

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

Class	Description
ArrayLambdaSimplification
ArrayReadSimplification	Simplifies a symbolic expression of the form ARRAY_READ(a, i): if the array has the form a = ARRAY_WRITE(a', i', v) if i == i', ARRAY_READ(a, i) = v if i != i', ARRAY_READ(a, i) = ARRAY_READ(a', i) otherwise, no simplification if the array has the form a = DENSE_ARRAY_WRITE(a', {v0, v1, ..., vn-1}) if i == j, 0 &lt= j &lt n, ARRAY_READ(a, i) = vj. if n &lt= i,, ARRAY_READ(a, i) = ARRAY_READ(a', i) otherwise, no simplification if the array has the form a = ARRAY(c, c, ..., c) where c is a constant and 0 &lt= i &lt length(a), ARRAY_READ(a, i) = c
ComputerModuloSimplification	Attempt to transform the expression e := (a0 + a1 + ..., an-1) % x to its equivalence e' := (a0%x + a1%x + ..., an-1%x) % x iffe' has a smaller size than e AND all a0, a1, ..., an-1 are non-negative
ConditionalSimplification	Used to simplify a conditional symbolic expression p?a:b.
ConditionalSimplification2	Used to simplify a conditional symbolic expression p?a:b.
GenericSimplification
LambdaSimplification
NumericOrSimplification
OrSimplification	Some things that should happen: all clauses involving inequalities/equations on the same monic should be combined and unified.
PolynomialSimplification
PowerSimplification	A simplification that applies to expressions in which the operator is SymbolicExpression.SymbolicOperator.POWER.
QuantifierSimplification
RationalPowerSimplification
Simplification	A Simplification takes a SymbolicExpression and returns an equivalent SymbolicExpression in a simplified form.
Simplification.SimplificationKind	An enumerated type corresponding 1-1 with the different Simplification classes.
SubContextSimplification	A Simplification that proceeds by creating a SubContext of the current Context to process a BooleanSymbolicExpression.