actasp::AspKR Struct Reference

#include <AspKR.h>

Inheritance diagram for actasp::AspKR:

List of all members.

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 timestep) const =0 throw ()
virtual void	resetCurrentState ()=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 32 of file AspKR.h.

---

Member Function Documentation

virtual ActionSet actasp::AspKR::availableActions

(

)

const throw () [pure virtual]

Implemented in actasp::FilteringReasoner, actasp::Reasoner, and bwi_krexec::RemoteReasoner.

virtual AnswerSet actasp::AspKR::currentStateQuery

(

const std::vector< actasp::AspRule > &

query

)

const throw () [pure virtual]

Implemented in actasp::FilteringReasoner, and actasp::Reasoner.

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

Implemented in actasp::FilteringReasoner, and actasp::Reasoner.

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

Implemented in actasp::FilteringReasoner, actasp::Reasoner, and bwi_krexec::RemoteReasoner.

virtual void actasp::AspKR::resetCurrentState

(

)

throw () [pure virtual]

Implemented in actasp::FilteringReasoner, bwi_krexec::RemoteReasoner, and actasp::Reasoner.

virtual bool actasp::AspKR::updateFluents

(

const std::vector< actasp::AspFluent > &

observations

)

throw () [pure virtual]

Implemented in actasp::FilteringReasoner, and actasp::Reasoner.

---

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

• AspKR.h