#include <QueryGenerator.h>
Inheritance diagram for actasp::QueryGenerator:
Public Member Functions | |
| virtual AnswerSet | currentStateQuery (const std::vector< actasp::AspRule > &query) const =0 throw () |
| virtual std::list < actasp::AnswerSet > | genericQuery (const std::vector< actasp::AspRule > &query, unsigned int timestep, const std::string &fileName, unsigned int answerSetsNumber) const =0 throw () |
| virtual std::list< std::list < AspAtom > > | genericQuery (const std::string &query, unsigned int timestep, const std::string &fileName, unsigned int answerSetsNumber) const =0 throw () |
| virtual std::list < actasp::AnswerSet > | lengthRangePlanQuery (const std::vector< actasp::AspRule > &goalRules, bool filterActions, unsigned int min_plan_length, unsigned int max_plan_length, unsigned int answerset_number) const =0 throw () |
| virtual std::list < actasp::AnswerSet > | minimalPlanQuery (const std::vector< actasp::AspRule > &goalRules, bool filterActions, unsigned int max_plan_length, unsigned int answerset_number) const =0 throw () |
| virtual std::list < actasp::AnswerSet > | monitorQuery (const std::vector< actasp::AspRule > &goalRules, const AnswerSet &plan) const =0 throw () |
| virtual actasp::AnswerSet | optimalPlanQuery (const std::vector< actasp::AspRule > &goalRules, bool filterActions, unsigned int max_plan_length, unsigned int answerset_number, bool minimum) const =0 throw () |
| virtual void | setCurrentState (const std::set< actasp::AspFluent > &newState)=0 |
Detailed Description
Definition at line 17 of file QueryGenerator.h.
Member Function Documentation
| virtual AnswerSet actasp::QueryGenerator::currentStateQuery | ( | const std::vector< actasp::AspRule > & | query | ) | const throw () [pure virtual] |
Implemented in actasp::Clingo4_2, and actasp::Clingo3.
| virtual std::list<actasp::AnswerSet> actasp::QueryGenerator::genericQuery | ( | const std::vector< actasp::AspRule > & | query, |
| unsigned int | timestep, | ||
| const std::string & | fileName, | ||
| unsigned int | answerSetsNumber | ||
| ) | const throw () [pure virtual] |
Implemented in actasp::Clingo4_2, and actasp::Clingo3.
| virtual std::list< std::list<AspAtom> > actasp::QueryGenerator::genericQuery | ( | const std::string & | query, |
| unsigned int | timestep, | ||
| const std::string & | fileName, | ||
| unsigned int | answerSetsNumber | ||
| ) | const throw () [pure virtual] |
Implemented in actasp::Clingo4_2, and actasp::Clingo3.
| virtual std::list<actasp::AnswerSet> actasp::QueryGenerator::lengthRangePlanQuery | ( | const std::vector< actasp::AspRule > & | goalRules, |
| bool | filterActions, | ||
| unsigned int | min_plan_length, | ||
| unsigned int | max_plan_length, | ||
| unsigned int | answerset_number | ||
| ) | const throw () [pure virtual] |
Implemented in actasp::Clingo4_2, and actasp::Clingo3.
| virtual std::list<actasp::AnswerSet> actasp::QueryGenerator::minimalPlanQuery | ( | const std::vector< actasp::AspRule > & | goalRules, |
| bool | filterActions, | ||
| unsigned int | max_plan_length, | ||
| unsigned int | answerset_number | ||
| ) | const throw () [pure virtual] |
Implemented in actasp::Clingo4_2, and actasp::Clingo3.
| virtual std::list<actasp::AnswerSet> actasp::QueryGenerator::monitorQuery | ( | const std::vector< actasp::AspRule > & | goalRules, |
| const AnswerSet & | plan | ||
| ) | const throw () [pure virtual] |
Implemented in actasp::Clingo4_2, and actasp::Clingo3.
| virtual actasp::AnswerSet actasp::QueryGenerator::optimalPlanQuery | ( | const std::vector< actasp::AspRule > & | goalRules, |
| bool | filterActions, | ||
| unsigned int | max_plan_length, | ||
| unsigned int | answerset_number, | ||
| bool | minimum | ||
| ) | const throw () [pure virtual] |
Implemented in actasp::Clingo4_2.
| virtual void actasp::QueryGenerator::setCurrentState | ( | const std::set< actasp::AspFluent > & | newState | ) | [pure virtual] |
Implemented in actasp::Clingo4_2, and actasp::Clingo3.
The documentation for this struct was generated from the following file: