Package astra.reasoner.util

Class BindingsEvaluateVisitor

java.lang.Object

astra.reasoner.util.AbstractEvaluateVisitor

astra.reasoner.util.BindingsEvaluateVisitor

All Implemented Interfaces:

LogicVisitor

public class BindingsEvaluateVisitor
extends AbstractEvaluateVisitor

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static interface	BindingsEvaluateVisitor.Handler<T>

Field Summary

Fields inherited from class astra.reasoner.util.AbstractEvaluateVisitor

passByValue

Constructor Summary

Constructors

Constructor	Description
BindingsEvaluateVisitor(Map<Integer,Term> bindings, Agent agent)

Method Summary

Modifier and Type	Method	Description
static <T extends Formula> void	addFormulaHandler(BindingsEvaluateVisitor.Handler<T> handler)
static <T extends Term> void	addTermHandler(BindingsEvaluateVisitor.Handler<T> handler)
Agent	agent()
<T> T	evaluate(Term term)
Object	visit(Formula formula)
Object	visit(Term term)

Methods inherited from class astra.reasoner.util.AbstractEvaluateVisitor

addFormulaHandler, addTermHandler

Methods inherited from class java.lang.Object

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

Constructor Details

BindingsEvaluateVisitor

public BindingsEvaluateVisitor(Map<Integer,Term> bindings, Agent agent)

Method Details

addFormulaHandler

public static <T extends Formula> void addFormulaHandler(BindingsEvaluateVisitor.Handler<T> handler)

addTermHandler

public static <T extends Term> void addTermHandler(BindingsEvaluateVisitor.Handler<T> handler)

agent

public Agent agent()

visit

public Object visit(Formula formula)

Specified by:

visit in interface LogicVisitor

Overrides:

visit in class AbstractEvaluateVisitor

visit

public Object visit(Term term)

Specified by:

visit in interface LogicVisitor

Overrides:

visit in class AbstractEvaluateVisitor

evaluate

public <T> T evaluate(Term term)