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

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