Package astra.formula

Class BracketFormula

java.lang.Object

astra.formula.BracketFormula

All Implemented Interfaces:

Formula, Serializable

public class BracketFormula
extends Object
implements Formula

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor	Description
BracketFormula(Formula formula)

Method Summary

Modifier and Type	Method	Description
Object	accept(LogicVisitor visitor)
Formula	formula()
boolean	matches(Formula formula)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Details

BracketFormula

public BracketFormula(Formula formula)

Method Details

formula

public Formula formula()

toString

public String toString()

Overrides:

toString in class Object

accept

public Object accept(LogicVisitor visitor)

Specified by:

accept in interface Formula

matches

public boolean matches(Formula formula)

Specified by:

matches in interface Formula