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

Detailed Description

Definition at line 386 of file TestPlainHEX.cpp.

Constructor & Destructor Documentation

SenseNotArmed1PluginAtom::SenseNotArmed1PluginAtom ( ) [inline]

Definition at line 390 of file TestPlainHEX.cpp.

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

Definition at line 400 of file TestPlainHEX.cpp.

References LOG, and Term::symbol.

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