dlvhex
2.5.0
|
Public Member Functions | |
TestConcatAtom () | |
virtual void | retrieve (const Query &query, Answer &answer) |
Retrieve answer to a query (external computation happens here). |
Definition at line 236 of file TestPlugin.cpp.
TestConcatAtom::TestConcatAtom | ( | ) | [inline] |
Definition at line 240 of file TestPlugin.cpp.
References PluginAtom::addInputTuple(), ExtSourceProperties::functional, PluginAtom::prop, and PluginAtom::setOutputArity().
virtual void TestConcatAtom::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:
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.
query | Input to the external source. |
answer | Output of the external source. |
Reimplemented from PluginAtom.
Definition at line 249 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, Term::symbol, and ID::termFromInteger().