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

Class OrSimplification

java.lang.Object

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

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

All Implemented Interfaces:

Transform<SymbolicExpression,SymbolicExpression>, UnaryOperator<SymbolicExpression>

public class OrSimplification
extends Simplification

Some things that should happen: all clauses involving inequalities/equations on the same monic should be combined and unified. p||!p should be reduced to true.

Nested Class Summary

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

Simplification.SimplificationKind

Constructor Summary

Constructors

Constructor	Description
OrSimplification(IdealSimplifierWorker worker)

Method Summary

Modifier and Type	Method	Description
SymbolicExpression	apply(SymbolicExpression x)	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

OrSimplification

public OrSimplification(IdealSimplifierWorker worker)

Method Details

apply

public SymbolicExpression apply(SymbolicExpression x)

Description copied from interface: Transform

Apply this Transform to the element x of S.

Parameters:

x - 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