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

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