Public Member Functions
actasp::AspKR Struct Reference

#include <AspKR.h>

Inheritance diagram for actasp::AspKR:
Inheritance graph
[legend]

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]
virtual AnswerSet actasp::AspKR::currentStateQuery ( const std::vector< actasp::AspRule > &  query) const throw () [pure virtual]
virtual bool actasp::AspKR::isPlanValid ( const AnswerSet plan,
const std::vector< actasp::AspRule > &  goal 
) const throw () [pure virtual]
virtual std::list< std::list<AspAtom> > actasp::AspKR::query ( const std::string &  queryString,
unsigned int  timestep 
) const throw () [pure virtual]
virtual void actasp::AspKR::resetCurrentState ( ) throw () [pure virtual]
virtual bool actasp::AspKR::updateFluents ( const std::vector< actasp::AspFluent > &  observations) throw () [pure virtual]

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


bwi_kr_execution
Author(s): Matteo Leonetti, Piyush Khandelwal
autogenerated on Thu Jun 6 2019 17:57:37