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

Class Simplification

java.lang.Object

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

All Implemented Interfaces:

Transform<SymbolicExpression,SymbolicExpression>, UnaryOperator<SymbolicExpression>

Direct Known Subclasses:

ArrayLambdaSimplification, ArrayReadSimplification, ComputerModuloSimplification, ConditionalSimplification, ConditionalSimplification2, GenericSimplification, LambdaSimplification, NumericOrSimplification, OrSimplification, PolynomialSimplification, PowerSimplification, QuantifierSimplification, RationalPowerSimplification, SubContextSimplification

public abstract class Simplification
extends Object
implements UnaryOperator<SymbolicExpression>

A Simplification takes a SymbolicExpression and returns an equivalent SymbolicExpression in a simplified form. Each instance of Simplification does one and only one thing. A typical simplification object may be applicable to only a certain kind of SymbolicExpression , for example, to those expressions whose operator is SymbolicExpression.SymbolicOperator.OR. A client can chain together multiple Simplifications to form a more powerful simplification engine. This base class provides utility methods that will be commonly used by most instances.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	Simplification.SimplificationKind	An enumerated type corresponding 1-1 with the different Simplification classes.

Method Summary

Modifier and Type	Method	Description
abstract Simplification.SimplificationKind	kind()	Returns the kind of this Simplification.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface edu.udel.cis.vsl.sarl.IF.Transform

apply

Method Details

kind

public abstract Simplification.SimplificationKind kind()

Returns the kind of this Simplification.

Returns:

the kind