Package edu.udel.cis.vsl.sarl.IF

Interface UnaryOperator<T>

All Superinterfaces:

Transform<T,T>

All Known Subinterfaces:

CanonicalRenamer, Simplifier

All Known Implementing Classes:

ArrayLambdaCanonicalization, ArrayLambdaSimplification, ArrayReadSimplification, BoundCleaner, BoundCleaner2, CommonCanonicalRenamer, ComputerModuloSimplification, ConditionalSimplification, ConditionalSimplification2, ExpressionSubstituter, GenericSimplification, IdealSimplifier, IdentitySimplifier, LambdaSimplification, MapSubstituter, NameSubstituter, NumericOrSimplification, OrSimplification, PolynomialSimplification, PowerSimplification, QuantifierSimplification, RationalPowerSimplification, SimpleSubstituter, Simplification, StatefulSigmaAdaptor, SubContextSimplification, TaylorSubstituter

public interface UnaryOperator<T>
extends Transform<T,T>

A UnaryOperator on a type T is an object which provides a method "apply" that takes an element of T and returns an element of T. It is a Transform<T,T>.

Method Summary

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

apply