Package astra.reasoner.util

Class AbstractEvaluateVisitor

java.lang.Object

astra.reasoner.util.AbstractEvaluateVisitor

All Implemented Interfaces:

LogicVisitor

Direct Known Subclasses:

BindingsEvaluateVisitor, ContextEvaluateVisitor

public abstract class AbstractEvaluateVisitor
extends Object
implements LogicVisitor

Nested Class Summary

Nested Classes

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

Field Summary

Fields

Modifier and Type	Field	Description
protected boolean	passByValue

Constructor Summary

Constructors

Constructor	Description
AbstractEvaluateVisitor(boolean passByValue)

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Details

passByValue

protected boolean passByValue

Constructor Details

AbstractEvaluateVisitor

public AbstractEvaluateVisitor(boolean passByValue)

Method Details

addFormulaHandler

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

addTermHandler

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

visit

public Object visit(Formula formula)

Specified by:

visit in interface LogicVisitor

visit

public Object visit(Term term)

Specified by:

visit in interface LogicVisitor