Uses of Interface
fr.boreal.backward_chaining.core.QueryCoreProcessor

Packages that use QueryCoreProcessor

Package	Description
fr.boreal.backward_chaining.core
fr.boreal.backward_chaining.pure
fr.boreal.backward_chaining.unfolding

Uses of QueryCoreProcessor in fr.boreal.backward_chaining.core

Classes in fr.boreal.backward_chaining.core that implement QueryCoreProcessor

Modifier and Type	Class	Description
class	NoCoreProcessor
class	QueryCoreProcessorImpl

Uses of QueryCoreProcessor in fr.boreal.backward_chaining.pure

Constructors in fr.boreal.backward_chaining.pure with parameters of type QueryCoreProcessor

Modifier	Constructor	Description
	PureRewriter(RewritingOperator rew, CoverFunction coverFct, QueryCoreProcessor core)	Creates a new PureRewriter using the given parameters
	PureRewriter(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 QueryCoreProcessor

Modifier	Constructor	Description
	UCQUnfolder(CoverFunction coverFct, QueryCoreProcessor core, RuleCompilation compilation)	Creates a new UCQUnfolder using the given parameters