dlvhex  2.5.0
Public Member Functions
GenPluginAtom1 Class Reference

Public Member Functions

 GenPluginAtom1 (const std::string &name, unsigned arity)
virtual void retrieve (const Query &q, Answer &a) throw (dlvhex::PluginError)

Detailed Description

Definition at line 500 of file TestPlainHEX.cpp.

Constructor & Destructor Documentation

GenPluginAtom1::GenPluginAtom1 ( const std::string &  name,
unsigned  arity 
) [inline]

Definition at line 504 of file TestPlainHEX.cpp.

Member Function Documentation

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

Definition at line 511 of file TestPlainHEX.cpp.

References bm::bvector< Alloc >::end(), bm::bvector< Alloc >::first(), ID::MAINKIND_ATOM, ID::SUBKIND_ATOM_ORDINARYG, ID::SUBKIND_ATOM_ORDINARYN, Atom::tuple, and OrdinaryAtom::unifiesWith().

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