Public Member Functions | |
| TestSetUnionAtom () | |
| virtual void | retrieve (const Query &query, Answer &answer) |
| Retrieve answer to a query (external computation happens here). | |
| virtual void | retrieve (const Query &query, Answer &answer, NogoodContainerPtr nogoods) |
| Retrieve answer to a query (external computation happens here). | |
Detailed Description
Definition at line 2370 of file TestPlugin.cpp.
Constructor & Destructor Documentation
| TestPlugin::TestSetUnionAtom::TestSetUnionAtom | ( | ) | [inline] |
Definition at line 2376 of file TestPlugin.cpp.
References PluginAtom::addInputPredicate(), DBGLOG, PluginAtom::setOutputArity(), and WARNING().
Member Function Documentation
| virtual void TestPlugin::TestSetUnionAtom::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:
-
query Input to the external source. answer Output of the external source.
Reimplemented from PluginAtom.
Definition at line 2391 of file TestPlugin.cpp.
References DBGLOG, PluginAtom::Answer::get(), PluginAtom::getRegistry(), PluginAtom::Query::input, PluginAtom::Query::interpretation, ID::MAINKIND_ATOM, ID::SUBKIND_ATOM_ORDINARYG, and Atom::tuple.
| virtual void TestPlugin::TestSetUnionAtom::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:
-
query Input to the external source. answer Output of the external source. nogoods Here, 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 2440 of file TestPlugin.cpp.
References NogoodContainer::createLiteral(), DBGLOG, PluginAtom::Answer::get(), ExternalLearningHelper::getOutputAtom(), PluginAtom::getRegistry(), PluginAtom::Query::input, Nogood::insert(), PluginAtom::Query::interpretation, ID::MAINKIND_ATOM, ID::SUBKIND_ATOM_ORDINARYG, and Atom::tuple.
The documentation for this class was generated from the following file:
- testsuite/TestPlugin.cpp
