Package astra.messaging

Class Utilities.PredicateState

java.lang.Object

astra.messaging.Utilities.PredicateState

All Implemented Interfaces:

Formula, Serializable

Enclosing class:

Utilities

public static class Utilities.PredicateState
extends Object
implements Formula

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
String	predicate
Term[]	terms

Constructor Summary

Constructors

Constructor	Description
PredicateState(Predicate predicate)

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

Field Details

terms

public Term[] terms

predicate

public String predicate

Constructor Details

PredicateState

public PredicateState(Predicate predicate)

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