dlvhex  2.1.0
Public Member Functions
TestConcatAtom Class Reference
Inheritance diagram for TestConcatAtom:
Inheritance graph
[legend]
Collaboration diagram for TestConcatAtom:
Collaboration graph
[legend]

Public Member Functions

 TestConcatAtom ()
virtual void retrieve (const Query &query, Answer &answer)
 Retrieve answer to a query (external computation happens here).

Detailed Description

Definition at line 222 of file TestPlugin.cpp.

Constructor & Destructor Documentation

TestConcatAtom::TestConcatAtom ( ) [inline]

Definition at line 226 of file TestPlugin.cpp.

References PluginAtom::addInputTuple(), ExtSourceProperties::functional, PluginAtom::prop, and PluginAtom::setOutputArity().

Member Function Documentation

virtual void TestConcatAtom::retrieve ( const Query &  ,
Answer &   
) [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

Implements PluginAtom.

Definition at line 235 of file TestPlugin.cpp.

References ID::address, PluginAtom::Answer::get(), PluginAtom::Query::input, ID::isConstantTerm(), ID::isIntegerTerm(), ID::isTerm(), ID::MAINKIND_TERM, PluginAtom::registry, ID::SUBKIND_TERM_CONSTANT, and Term::symbol.

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