dlvhex  2.5.0
TestZeroArityAtom Class Reference
Inheritance diagram for TestZeroArityAtom:
Collaboration diagram for TestZeroArityAtom:

Public Member Functions

 TestZeroArityAtom (const std::string &name, bool succeed)
virtual void retrieve (const Query &, Answer &answer)
 Retrieve answer to a query (external computation happens here).

Protected Attributes

bool succeed

Detailed Description

Definition at line 172 of file TestPlugin.cpp.


Constructor & Destructor Documentation

TestZeroArityAtom::TestZeroArityAtom ( const std::string &  name,
bool  succeed 
) [inline]

Definition at line 178 of file TestPlugin.cpp.

References PluginAtom::setOutputArity().


Member Function Documentation

virtual void TestZeroArityAtom::retrieve ( const Query query,
Answer answer 
) [inline, virtual]

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

This function implements the external atom computation without 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.

Reimplemented from PluginAtom.

Definition at line 186 of file TestPlugin.cpp.

References PluginAtom::Answer::get(), succeed, and PluginAtom::Answer::use().


Field Documentation

bool TestZeroArityAtom::succeed [protected]

Definition at line 176 of file TestPlugin.cpp.

Referenced by retrieve().


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