Package astra.formula

Class IsDone

java.lang.Object

astra.formula.IsDone

All Implemented Interfaces:

Formula, Serializable

public class IsDone
extends Object
implements Formula

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor	Description
IsDone()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Details

IsDone

public IsDone()

Method Details

accept

public Object accept(LogicVisitor visitor)

Specified by:

accept in interface Formula

matches

public boolean matches(Formula formula)

Specified by:

matches in interface Formula