dlvhex  2.5.0
Public Member Functions | Private Attributes
TestSetMinusRuleBasedLearningAtom Class Reference
Inheritance diagram for TestSetMinusRuleBasedLearningAtom:
Inheritance graph
[legend]
Collaboration diagram for TestSetMinusRuleBasedLearningAtom:
Collaboration graph
[legend]

Public Member Functions

 TestSetMinusRuleBasedLearningAtom (ProgramCtx *ctx)
virtual void retrieve (const Query &query, Answer &answer, NogoodContainerPtr nogoods)
 Retrieve answer to a query (external computation happens here).

Private Attributes

ProgramCtx * ctx

Detailed Description

Definition at line 1219 of file TestPlugin.cpp.

Constructor & Destructor Documentation

TestSetMinusRuleBasedLearningAtom::TestSetMinusRuleBasedLearningAtom ( ProgramCtx *  ctx) [inline]

Definition at line 1226 of file TestPlugin.cpp.

References PluginAtom::addInputPredicate(), PluginAtom::setOutputArity(), and WARNING().

Member Function Documentation

virtual void TestSetMinusRuleBasedLearningAtom::retrieve ( const Query &  query,
Answer &  answer,
NogoodContainerPtr  nogoods 
) [inline, virtual]

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

This function implements the external atom computation with customized learning functions.

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

See also documentation of Query and Answer classes.

If both retrieve(const Query& query, Answer& answer) and retrieve(const Query& query, Answer& answer, NogoodContainerPtr nogoods) are overridden, the latter takes over precedence.

Parameters:
queryInput to the external source.
answerOutput of the external source.
nogoodsHere, nogoods learned from the external source can be added to prune the search space; see Nogood, NogoodContainer and ExternalLearningHelper.

Reimplemented from PluginAtom.

Definition at line 1236 of file TestPlugin.cpp.

References DBGLOG, PluginAtom::Answer::get(), ExternalLearningHelper::getIDOfLearningRule(), PluginAtom::getRegistry(), ID_FAIL(), PluginAtom::Query::input, PluginAtom::Query::interpretation, ExternalLearningHelper::learnFromRule(), ID::MAINKIND_ATOM, ID::SUBKIND_ATOM_ORDINARYG, and Atom::tuple.

Field Documentation

ProgramCtx* TestSetMinusRuleBasedLearningAtom::ctx [private]

Definition at line 1223 of file TestPlugin.cpp.

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