| availableActions() const =0 | actasp::AspKR |  [pure virtual] | 
| computeAllPlans(const std::vector< actasp::AspRule > &goal, double suboptimality) const =0 | actasp::MultiPlanner |  [pure virtual] | 
| computePlan(const std::vector< actasp::AspRule > &goal) const =0 | actasp::Planner |  [pure virtual] | 
| computePolicy(const std::vector< actasp::AspRule > &goal, double suboptimality) const =0 | actasp::MultiPlanner |  [pure virtual] | 
| currentStateQuery(const std::vector< actasp::AspRule > &query) const =0 | actasp::AspKR |  [pure virtual] | 
| isPlanValid(const AnswerSet &plan, const std::vector< actasp::AspRule > &goal) const =0 | actasp::AspKR |  [pure virtual] | 
| query(const std::string &queryString, unsigned int initialTimeStep, unsigned int finalTimeStep) const =0 | actasp::AspKR |  [pure virtual] | 
| reset()=0 | actasp::AspKR |  [pure virtual] | 
| updateFluents(const std::vector< actasp::AspFluent > &observations)=0 | actasp::AspKR |  [pure virtual] | 
| ~AspKR() | actasp::AspKR |  [inline, virtual] | 
| ~MultiPlanner() | actasp::MultiPlanner |  [inline, virtual] | 
| ~Planner() | actasp::Planner |  [inline, virtual] |