dlvhex
2.5.0
|
Public Member Functions | |
TestBraveQueryAtom (ProgramCtx &ctx) | |
virtual void | answerQuery (PredicateMaskPtr pm, std::vector< InterpretationPtr > &answersets, const Query &query, Answer &answer) |
Definition at line 2254 of file TestPlugin.cpp.
TestBraveQueryAtom::TestBraveQueryAtom | ( | ProgramCtx & | ctx | ) | [inline] |
Definition at line 2258 of file TestPlugin.cpp.
virtual void TestBraveQueryAtom::answerQuery | ( | PredicateMaskPtr | pm, |
std::vector< InterpretationPtr > & | answersets, | ||
const Query & | query, | ||
Answer & | answer | ||
) | [inline, virtual] |
Implements TestASPQueryAtom.
Definition at line 2263 of file TestPlugin.cpp.
References PluginAtom::Answer::get(), PluginAtom::getRegistry(), and Atom::tuple.