Public Member Functions
	AbovePluginAtom ()
virtual void	retrieve (const Query &q, Answer &a) throw (dlvhex::PluginError)

Detailed Description

Definition at line 331 of file TestPlainHEX.cpp.

Constructor & Destructor Documentation

AbovePluginAtom::AbovePluginAtom ( ) [inline]

Definition at line 335 of file TestPlainHEX.cpp.

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

Definition at line 343 of file TestPlainHEX.cpp.

References LOG, and Term::symbol.

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