Package astra.formula

Class AND

java.lang.Object

astra.formula.AND

All Implemented Interfaces:

Formula, Serializable

public class AND
extends Object
implements Formula

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
Formula[]	formulae

Constructor Summary

Constructors

Constructor	Description
AND(Formula left, Formula right)

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Details

formulae

public Formula[] formulae

Constructor Details

AND

public AND(Formula left, Formula right)

Method Details

left

public Formula left()

right

public Formula right()

accept

public Object accept(LogicVisitor visitor)

Specified by:

accept in interface Formula

matches

public boolean matches(Formula formula)

Specified by:

matches in interface Formula

toString

public String toString()

Overrides:

toString in class Object