io.konig.formula

Class BrackettedExpression

java.lang.Object

io.konig.formula.AbstractFormula

io.konig.formula.BrackettedExpression

All Implemented Interfaces:

Formula, PrimaryExpression

public class BrackettedExpression
extends AbstractFormula
implements PrimaryExpression

Constructor Summary

Constructors

Constructor and Description
BrackettedExpression(Expression expression)

Method Summary

Modifier and Type	Method and Description
BrackettedExpression	clone()
void	dispatch(FormulaVisitor visitor)
Expression	getExpression()
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

Methods inherited from interface io.konig.formula.Formula

asBinaryRelationalExpression, asPrimaryExpression

Constructor Detail

BrackettedExpression

public BrackettedExpression(Expression expression)

Method Detail

getExpression

public Expression getExpression()

clone

public BrackettedExpression clone()

Specified by:

clone in interface PrimaryExpression

Specified by:

clone in class AbstractFormula

print

public void print(PrettyPrintWriter out)

Specified by:

print in interface Formula

dispatch

public void dispatch(FormulaVisitor visitor)

Specified by:

dispatch in interface Formula