Package astra.reasoner.util

Class ContextEvaluateVisitor

java.lang.Object

astra.reasoner.util.AbstractEvaluateVisitor

astra.reasoner.util.ContextEvaluateVisitor

All Implemented Interfaces:

LogicVisitor

public class ContextEvaluateVisitor
extends AbstractEvaluateVisitor

Nested Class Summary

Nested Classes

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

Field Summary

Fields inherited from class astra.reasoner.util.AbstractEvaluateVisitor

passByValue

Constructor Summary

Constructors

Constructor	Description
ContextEvaluateVisitor(Intention intention)
ContextEvaluateVisitor(Intention intention, boolean passByValue)

Method Summary

Modifier and Type	Method	Description
static <T extends Formula> void	addFormulaHandler(ContextEvaluateVisitor.Handler<T> handler)
static <T extends Term> void	addTermHandler(ContextEvaluateVisitor.Handler<T> handler)
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

ContextEvaluateVisitor

public ContextEvaluateVisitor(Intention intention)

ContextEvaluateVisitor

public ContextEvaluateVisitor(Intention intention, boolean passByValue)

Method Details

addFormulaHandler

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

addTermHandler

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

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