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