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

Packages that use 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> void	RenameVisitor.addFormulaHandler(RenameVisitor.Handler<T> handler)
static <T extends Term> void	RenameVisitor.addTermHandler(RenameVisitor.Handler<T> handler)