TestSetMinusAtom Class Reference

Inheritance diagram for TestSetMinusAtom:

Collaboration diagram for TestSetMinusAtom:

Data Structures
class	EAHeuristics
class	EAHeuristicsFactory
Public Member Functions
	TestSetMinusAtom ()
virtual void	retrieve (const ComfortQuery &query, ComfortAnswer &answer)
	Retrieve answer to a query (external computation happens here).
bool	providesCustomExternalAtomEvaluationHeuristicsFactory () const
	Returns if this external atom provides a custom model generator factory.
ExternalAtomEvaluationHeuristicsFactoryPtr	getCustomExternalAtomEvaluationHeuristicsFactory () const
	Must create a model generator factory for the component described by ci.

---

Detailed Description

Definition at line 845 of file TestPlugin.cpp.

---

Constructor & Destructor Documentation

TestSetMinusAtom::TestSetMinusAtom

(

)

[inline]

Definition at line 849 of file TestPlugin.cpp.

References PluginAtom::addInputPredicate(), ExtSourceProperties::antimonotonicInputPredicates, ExtSourceProperties::finiteOutputDomain, ExtSourceProperties::monotonicInputPredicates, PluginAtom::prop, and PluginAtom::setOutputArity().

---

Member Function Documentation

ExternalAtomEvaluationHeuristicsFactoryPtr TestSetMinusAtom::getCustomExternalAtomEvaluationHeuristicsFactory

(

)

const [inline, virtual]

Must create a model generator factory for the component described by ci.

Needs to be implemented only if PluginAtom::providesCustomExternalAtomEvaluationHeuristicsFactory return true;

Returns:

True if this plugin provides a custom heuristics for external atom evaluations, false otherwise.

Reimplemented from PluginAtom.

Definition at line 927 of file TestPlugin.cpp.

bool TestSetMinusAtom::providesCustomExternalAtomEvaluationHeuristicsFactory

(

)

const [inline, virtual]

Returns if this external atom provides a custom model generator factory.

Returns:

True if this plugin provides a custom heuristics for external atom evaluations, false otherwise.

Reimplemented from PluginAtom.

Definition at line 925 of file TestPlugin.cpp.

virtual void TestSetMinusAtom::retrieve	(	const ComfortQuery &	q,
		ComfortAnswer &	a
	)		[inline, virtual]

Retrieve answer to a query (external computation happens here).

This function implements the external atom computation. See also documentation of Query and Answer classes.

Answer tuples must conform to the content of the pattern tuple in Query:

• they must contain the same number of terms as pattern
• constants in pattern must match constants in answer tuples
• variables in pattern must be replaced by constants in answer tuples

  Parameters:

  q	See ComfortPluginAtom::ComfortQuery.
  a	See ComfortPluginAtom::ComfortAnswer.

Implements ComfortPluginAtom.

Definition at line 863 of file TestPlugin.cpp.

References ComfortPluginAtom::ComfortQuery::input, ComfortPluginAtom::ComfortQuery::interpretation, ComfortInterpretation::matchPredicate(), printrange(), and ComfortAtom::tuple.

---

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

• testsuite/TestPlugin.cpp