Package astra.formula

Class Goal

java.lang.Object

astra.formula.Goal

All Implemented Interfaces:

Formula, Serializable

public class Goal
extends Object
implements Formula

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor	Description
Goal(Predicate predicate)

Method Summary

Modifier and Type	Method	Description
Object	accept(LogicVisitor visitor)
Predicate	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

Goal

public Goal(Predicate predicate)

Method Details

formula

public Predicate 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