actasp::Clingo3 Member List
This is the complete list of members for actasp::Clingo3, including all inherited members.
actionFilteractasp::Clingo3 [private]
Clingo3(const std::string &incrementalVar, const std::string &queryDir, const std::string &domainDir, const ActionSet &actions, unsigned int max_time=0)actasp::Clingo3
currentStateQuery(const std::vector< actasp::AspRule > &query) const actasp::Clingo3 [virtual]
domainDiractasp::Clingo3 [private]
generatePlanQuery(std::vector< actasp::AspRule > goalRules, bool filterActions) const actasp::Clingo3 [private]
genericQuery(const std::vector< actasp::AspRule > &query, unsigned int timestep, const std::string &fileName, unsigned int answerSetsNumber) const actasp::Clingo3 [virtual]
genericQuery(const std::string &query, unsigned int timestep, const std::string &fileName, unsigned int answerSetsNumber) const actasp::Clingo3 [virtual]
genericQuery(const std::string &query, unsigned int initialTimeStep, unsigned int finalTimeStep, const std::string &fileName, unsigned int answerSetsNumber) const actasp::Clingo3 [private]
incrementalVaractasp::Clingo3 [private]
lengthRangePlanQuery(const std::vector< actasp::AspRule > &goalRules, bool filterActions, unsigned int min_plan_length, unsigned int max_plan_length, unsigned int answerset_number) const actasp::Clingo3 [virtual]
makeQuery(const std::string &query, unsigned int initialTimeStep, unsigned int finalTimeStep, const std::string &fileName, unsigned int answerSetsNumber) const actasp::Clingo3 [private]
max_timeactasp::Clingo3 [private]
minimalPlanQuery(const std::vector< actasp::AspRule > &goalRules, bool filterActions, unsigned int max_plan_length, unsigned int answerset_number) const actasp::Clingo3 [virtual]
monitorQuery(const std::vector< actasp::AspRule > &goalRules, const AnswerSet &plan) const actasp::Clingo3 [virtual]
optimalPlanQuery(const std::vector< actasp::AspRule > &goalRules, bool filterActions, unsigned int max_plan_length, unsigned int answerset_number, bool minimum) const =0actasp::QueryGenerator [pure virtual]
queryDiractasp::Clingo3 [private]
setCurrentState(const std::set< actasp::AspFluent > &newState)actasp::Clingo3 [virtual]


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