dlvhex  2.5.0
TestPluginAtomCount Class Reference

#include <testsuite/fixturesExt1.h>

Public Member Functions

 TestPluginAtomCount ()
virtual void retrieve (const Query &q, Answer &a) throw (dlvhex::PluginError)

Detailed Description

Definition at line 59 of file fixturesExt1.h.


Constructor & Destructor Documentation

Definition at line 63 of file fixturesExt1.h.


Member Function Documentation

virtual void TestPluginAtomCount::retrieve ( const Query &  q,
Answer &  a 
) throw (dlvhex::PluginError) [inline, virtual]

Definition at line 70 of file fixturesExt1.h.

References LOG, LOG_SCOPE, and ID::termFromInteger().


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