com.satline.expr
Class InequalityTerm

java.lang.Object
  com.satline.expr.BinaryTerm
      com.satline.expr.InequalityTerm

All Implemented Interfaces:

Expression, java.io.Serializable

public class InequalityTerm
extends BinaryTerm

This class defines an inequality term within an expression.

Author:

Teubner

See Also:

Serialized Form

Field Summary

Fields inherited from class com.satline.expr.BinaryTerm

left, right

Constructor Summary

InequalityTerm()
Default constructor.

InequalityTerm(Expression left, Expression right)
Constructor using fields.

Method Summary

<E,F> E

greet(ExpressionWalker<E,F> visitor, F arg) Handle visit of ExpressionWalker.

Methods inherited from class com.satline.expr.BinaryTerm

equals, getLeft, getRight, hashCode, setLeft, setRight

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

InequalityTerm

public InequalityTerm()

Default constructor.

InequalityTerm

public InequalityTerm(Expression left,
                      Expression right)

Constructor using fields.

Parameters:

left - left operand

right - right operand

Method Detail

greet

public <E,F> E greet(ExpressionWalker<E,F> visitor,
                     F arg)
        throws ExpressionException

Handle visit of ExpressionWalker.

Parameters:

visitor - - the ExpressionWalker visiting this object

arg - - implementation dependent argument

Returns:

implementation dependent value

Throws:

ExpressionException