Uses of Interface
astra.reasoner.util.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>
voidAbstractEvaluateVisitor. addFormulaHandler(AbstractEvaluateVisitor.Handler<T> handler)static <T extends Term>
voidAbstractEvaluateVisitor. addTermHandler(AbstractEvaluateVisitor.Handler<T> handler)