Uses of Interface
fr.boreal.backward_chaining.cover.CoverFunction

Packages that use CoverFunction

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

Uses of CoverFunction in fr.boreal.backward_chaining.cover

Classes in fr.boreal.backward_chaining.cover that implement CoverFunction

Modifier and Type	Class	Description
class	NoCover	Does nothing
class	QueryCover	Computes 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 CoverFunction

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 CoverFunction in fr.boreal.backward_chaining.unfolding

Constructors in fr.boreal.backward_chaining.unfolding with parameters of type CoverFunction

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