AspKR.h

Go to the documentation of this file.

#ifndef actasp_AspKR_h__guard
#define actasp_AspKR_h__guard

#include <actasp/AspAtom.h>
#include <actasp/AnswerSet.h>
#include <actasp/MultiPlanner.h>

#include <vector>
#include <list>

namespace actasp {

class Action;

struct AspKR : public actasp::MultiPlanner {
  
  //actions available in this state
  virtual ActionSet availableActions() const throw() = 0;

        virtual AnswerSet currentStateQuery(const std::vector<actasp::AspRule>& query) const throw() = 0;
        
        //false if the new fluents are incompatible with the KB
        virtual bool updateFluents(const std::vector<actasp::AspFluent> &observations) throw() = 0;
  
  //most general query, doesn't try to parse the result into fluents
  virtual std::list< std::list<AspAtom> > query(const std::string &queryString, unsigned int timestep) const throw() = 0;
        
        virtual bool isPlanValid(const AnswerSet& plan, const std::vector<actasp::AspRule>& goal)  const throw() = 0;
  
  virtual void resetCurrentState() throw() = 0;

        virtual ~AspKR() {}
};
        
}
#endif