io.konig.formula

Class Addend

java.lang.Object

io.konig.formula.AbstractFormula

io.konig.formula.Addend

All Implemented Interfaces:

Formula

public class Addend
extends AbstractFormula

Constructor Summary

Constructors

Constructor and Description
Addend(AdditiveOperator operator, MultiplicativeExpression right)

Method Summary

Modifier and Type	Method and Description
Addend	clone()
void	dispatch(FormulaVisitor visitor)
AdditiveOperator	getOperator()
MultiplicativeExpression	getRight()
void	print(PrettyPrintWriter out)

Methods inherited from class io.konig.formula.AbstractFormula

asBinaryRelationalExpression, asPrimaryExpression, toSimpleString, toString

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Addend

public Addend(AdditiveOperator operator,
              MultiplicativeExpression right)

Method Detail

getOperator

public AdditiveOperator getOperator()

getRight

public MultiplicativeExpression getRight()

print

public void print(PrettyPrintWriter out)

dispatch

public void dispatch(FormulaVisitor visitor)

clone

public Addend clone()

Specified by:

clone in class AbstractFormula