#include <AspKR.h>
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 () |
virtual actasp::AspKR::~AspKR | ( | ) | [inline, virtual] |
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.