Uses of Interface
fr.boreal.backward_chaining.cover.CoverFunction
Packages that use CoverFunction
Package
Description
-
Uses of CoverFunction in fr.boreal.backward_chaining.cover
Classes in fr.boreal.backward_chaining.cover that implement CoverFunctionModifier and TypeClassDescriptionclassDoes nothingclassComputes the cover of a set of queries using homomorphism to detect if a query is more general than another -
Uses of CoverFunction in fr.boreal.backward_chaining.pure
Constructors in fr.boreal.backward_chaining.pure with parameters of type CoverFunctionModifierConstructorDescriptionPureRewriter(RewritingOperator rew, CoverFunction coverFct, QueryCoreProcessor core) Creates a new PureRewriter using the given parametersPureRewriter(RewritingOperator rew, CoverFunction coverFct, QueryCoreProcessor core, RuleCompilation compilation) Creates a new PureRewriter using the given parameters -
Uses of CoverFunction in fr.boreal.backward_chaining.unfolding
Constructors in fr.boreal.backward_chaining.unfolding with parameters of type CoverFunctionModifierConstructorDescriptionUCQUnfolder(CoverFunction coverFct, QueryCoreProcessor core, RuleCompilation compilation) Creates a new UCQUnfolder using the given parameters