Package astra.formula

Class ModuleFormula

java.lang.Object

astra.formula.ModuleFormula

All Implemented Interfaces:

Formula, Serializable

public class ModuleFormula
extends Object
implements Formula

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor	Description
ModuleFormula(String module, Predicate predicate, ModuleFormulaAdaptor adaptor)

Method Summary

Modifier and Type	Method	Description
Object	accept(LogicVisitor visitor)
ModuleFormulaAdaptor	adaptor()
boolean	matches(Formula formula)
String	module()
Predicate	predicate()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Details

ModuleFormula

public ModuleFormula(String module, Predicate predicate, ModuleFormulaAdaptor adaptor)

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

module

public String module()

predicate

public Predicate predicate()

adaptor

public ModuleFormulaAdaptor adaptor()

toString

public String toString()

Overrides:

toString in class Object