Package astra.formula

Class NOT

java.lang.Object

astra.formula.NOT

All Implemented Interfaces:

Formula, Serializable

public class NOT
extends Object
implements Formula

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor	Description
NOT(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

NOT

public NOT(Formula formula)

Method Details

formula

public Formula formula()

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