Uses of Interface
fr.boreal.backward_chaining.core.QueryCoreProcessor
Packages that use QueryCoreProcessor
Package
Description
-
Uses of QueryCoreProcessor in fr.boreal.backward_chaining.core
Classes in fr.boreal.backward_chaining.core that implement QueryCoreProcessor -
Uses of QueryCoreProcessor in fr.boreal.backward_chaining.pure
Constructors in fr.boreal.backward_chaining.pure with parameters of type QueryCoreProcessorModifierConstructorDescriptionPureRewriter(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 QueryCoreProcessor in fr.boreal.backward_chaining.unfolding
Constructors in fr.boreal.backward_chaining.unfolding with parameters of type QueryCoreProcessorModifierConstructorDescriptionUCQUnfolder(CoverFunction coverFct, QueryCoreProcessor core, RuleCompilation compilation) Creates a new UCQUnfolder using the given parameters