#include <AspKR.h>

Inheritance diagram for actasp::AspKR:

Public Member Functions
virtual ActionSet	availableActions () const =0 throw ()
virtual AnswerSet	currentStateQuery (const std::vector< actasp::AspRule > &query) const =0 throw ()
virtual bool	isPlanValid (const AnswerSet &plan, const std::vector< actasp::AspRule > &goal) const =0 throw ()
virtual std::list< std::list < AspAtom > >	query (const std::string &queryString, unsigned int initialTimeStep, unsigned int finalTimeStep) const =0 throw ()
virtual void	reset ()=0 throw ()
virtual bool	updateFluents (const std::vector< actasp::AspFluent > &observations)=0 throw ()
virtual	~AspKR ()

Detailed Description

Definition at line 15 of file AspKR.h.

Constructor & Destructor Documentation

virtual actasp::AspKR::~AspKR ( ) [inline, virtual]

Definition at line 33 of file AspKR.h.

virtual ActionSet actasp::AspKR::availableActions ( ) const throw () [pure virtual]

virtual AnswerSet actasp::AspKR::currentStateQuery ( const std::vector< actasp::AspRule > & query ) const throw () [pure virtual]

Implemented in actasp::Clingo.

virtual bool actasp::AspKR::isPlanValid	(	const AnswerSet &	plan,
		const std::vector< actasp::AspRule > &	goal
	)		const throw () `[pure virtual]`

Implemented in actasp::Clingo.

virtual std::list< std::list<AspAtom> > actasp::AspKR::query	(	const std::string &	queryString,
		unsigned int	initialTimeStep,
		unsigned int	finalTimeStep
	)		const throw () `[pure virtual]`

virtual void actasp::AspKR::reset ( ) throw () [pure virtual]

virtual bool actasp::AspKR::updateFluents ( const std::vector< actasp::AspFluent > & observations ) throw () [pure virtual]

Implemented in actasp::Clingo.

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