Uses of Interface
astra.reasoner.util.BindingsEvaluateVisitor.Handler
| Package | Description |
|---|---|
| astra.reasoner.util |
-
Uses of BindingsEvaluateVisitor.Handler in astra.reasoner.util
Methods in astra.reasoner.util with parameters of type BindingsEvaluateVisitor.Handler Modifier and Type Method Description static <T extends Formula>
voidBindingsEvaluateVisitor. addFormulaHandler(BindingsEvaluateVisitor.Handler<T> handler)static <T extends Term>
voidBindingsEvaluateVisitor. addTermHandler(BindingsEvaluateVisitor.Handler<T> handler)