Uses of Class
astra.reasoner.util.BindingsEvaluateVisitor

Packages that use BindingsEvaluateVisitor

Package	Description
astra.formula
astra.reasoner.node
astra.term

Uses of BindingsEvaluateVisitor in astra.formula

Methods in astra.formula with parameters of type BindingsEvaluateVisitor

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

Uses of BindingsEvaluateVisitor in astra.reasoner.node

Fields in astra.reasoner.node declared as BindingsEvaluateVisitor

Modifier and Type	Field	Description
protected BindingsEvaluateVisitor	ReasonerNode.visitor

Uses of BindingsEvaluateVisitor in astra.term

Methods in astra.term with parameters of type BindingsEvaluateVisitor

Modifier and Type	Method	Description
Object	ModuleTerm.evaluate(BindingsEvaluateVisitor visitor)
<T> T	ModuleTermAdaptor.evaluate(BindingsEvaluateVisitor visitor, Term term)
abstract Object	ModuleTermAdaptor.invoke(BindingsEvaluateVisitor visitor, Predicate atom)