com.satline.expr
Class NegationTerm

java.lang.Object
  com.satline.expr.UnaryTerm
      com.satline.expr.NegationTerm

All Implemented Interfaces:

Expression, java.io.Serializable

public class NegationTerm
extends UnaryTerm

This class defines a negation term within an expression.

Author:

Teubner

See Also:

Serialized Form

Constructor Summary

NegationTerm()
Default constructor.

NegationTerm(Expression operand)
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.UnaryTerm

equals, getOperand, hashCode, setOperand

Methods inherited from class java.lang.Object

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

Constructor Detail

NegationTerm

public NegationTerm()

Default constructor.

NegationTerm

public NegationTerm(Expression operand)

Constructor using fields.

Parameters:

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