Package astra.term

Class ModuleTermAdaptor

java.lang.Object

astra.term.ModuleTermAdaptor

public abstract class ModuleTermAdaptor
extends Object

Constructor Summary

Constructors

Constructor	Description
ModuleTermAdaptor()

Method Summary

Modifier and Type	Method	Description
<T> T	evaluate(BindingsEvaluateVisitor visitor, Term term)
abstract Object	invoke(Intention context, Predicate atom)
abstract Object	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

ModuleTermAdaptor

public ModuleTermAdaptor()

Method Details

invoke

public abstract Object invoke(Intention context, Predicate atom)

invoke

public abstract Object invoke(BindingsEvaluateVisitor visitor, Predicate atom)

evaluate

public <T> T evaluate(BindingsEvaluateVisitor visitor, Term term)