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 interfaceBindingsEvaluateVisitor.Handler<T> -
Field Summary
-
Constructor Summary
Constructors Constructor Description BindingsEvaluateVisitor(Map<Integer,Term> bindings, Agent agent) -
Method Summary
Modifier and Type Method Description static <T extends Formula>
voidaddFormulaHandler(BindingsEvaluateVisitor.Handler<T> handler)static <T extends Term>
voidaddTermHandler(BindingsEvaluateVisitor.Handler<T> handler)Agentagent()<T> Tevaluate(Term term)Objectvisit(Formula formula)Objectvisit(Term term)Methods inherited from class astra.reasoner.util.AbstractEvaluateVisitor
addFormulaHandler, addTermHandler
-
Constructor Details
-
Method Details
-
addFormulaHandler
public static <T extends Formula> void addFormulaHandler(BindingsEvaluateVisitor.Handler<T> handler) -
addTermHandler
-
agent
-
visit
- Specified by:
visitin interfaceLogicVisitor- Overrides:
visitin classAbstractEvaluateVisitor
-
visit
- Specified by:
visitin interfaceLogicVisitor- Overrides:
visitin classAbstractEvaluateVisitor
-
evaluate
-