Uses of Interface
astra.reasoner.util.AbstractEvaluateVisitor.Handler

Packages that use AbstractEvaluateVisitor.Handler

Package	Description
astra.reasoner.util

Uses of AbstractEvaluateVisitor.Handler in astra.reasoner.util

Methods in astra.reasoner.util with parameters of type AbstractEvaluateVisitor.Handler

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