Extracts the relevant part of a query which is the reason for some tuple to be in the output or not. More...

Inheritance diagram for ExternalLearningHelper::InputNogoodProvider:

Public Member Functions
virtual bool	dependsOnOutputTuple () const
	Defines if the input tuple depends on the current output tuple; if not, then the same reason may be used for all output atoms.
virtual Nogood	operator() (const PluginAtom::Query &query, const ExtSourceProperties &prop, bool contained, const Tuple tuple=Tuple(), int *weakenedPremiseLiterals=0) const =0
	Computes the reason for a tuple to be in the output or not.

Detailed Description

Extracts the relevant part of a query which is the reason for some tuple to be in the output or not.

Definition at line 58 of file ExternalLearningHelper.h.

Member Function Documentation

virtual bool ExternalLearningHelper::InputNogoodProvider::dependsOnOutputTuple ( ) const [inline, virtual]

Defines if the input tuple depends on the current output tuple; if not, then the same reason may be used for all output atoms.

Parameters:

False if the same reason justifies all output atoms of one externalcall, otherwise false.

Definition at line 66 of file ExternalLearningHelper.h.

virtual Nogood ExternalLearningHelper::InputNogoodProvider::operator()	(	const PluginAtom::Query &	query,
		const ExtSourceProperties &	prop,
		bool	contained,
		const Tuple	tuple = `Tuple()`,
		int *	weakenedPremiseLiterals = `0`
	)		const `[pure virtual]`

Computes the reason for a tuple to be in the output or not.

Parameters:

query	External atom query.
prop	Properties of the external source.
contained	Specified whether we want a reason for a tuple to be contained in the output (true) or not (false).
tuple	The output tuple for which we want to compute the reason.
weakenedPremiseLiterals	Indicates the number of literals from the premise which were removed because they are currently unassigned and thus do not influence the result; can be 0.

The documentation for this class was generated from the following file: