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