Package astra.formula

Class ModuleFormulaAdaptor

java.lang.Object

astra.formula.ModuleFormulaAdaptor

public abstract class ModuleFormulaAdaptor
extends Object

Constructor Summary

Constructors

Constructor	Description
ModuleFormulaAdaptor()

Method Summary

Modifier and Type	Method	Description
abstract Formula	invoke(BindingsEvaluateVisitor visitor, Predicate atom)

Methods inherited from class java.lang.Object

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

Constructor Details

ModuleFormulaAdaptor

public ModuleFormulaAdaptor()

Method Details

invoke

public abstract Formula invoke(BindingsEvaluateVisitor visitor, Predicate atom)