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

Class QuantifierSimplification

java.lang.Object

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

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

All Implemented Interfaces:

Transform<SymbolicExpression,SymbolicExpression>, UnaryOperator<SymbolicExpression>

public class QuantifierSimplification
extends Simplification

Nested Class Summary

Nested classes/interfaces inherited from class edu.udel.cis.vsl.sarl.simplify.simplification.Simplification

Simplification.SimplificationKind

Constructor Summary

Constructors

Constructor	Description
QuantifierSimplification(IdealSimplifierWorker worker)

Method Summary

Modifier and Type	Method	Description
SymbolicExpression	apply(SymbolicExpression expr)	Apply this Transform to the element x of S.
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

Constructor Details

QuantifierSimplification

public QuantifierSimplification(IdealSimplifierWorker worker)

Method Details

apply

public SymbolicExpression apply(SymbolicExpression expr)

Description copied from interface: Transform

Apply this Transform to the element x of S.

Parameters:

expr - an element of S

Returns:

the result of applying this Transform to x

kind

public Simplification.SimplificationKind kind()

Description copied from class: Simplification

Returns the kind of this Simplification.

Specified by:

kind in class Simplification

Returns:

the kind