actasp::Clingo Member List
This is the complete list of members for actasp::Clingo, including all inherited members.
actionFilteractasp::Clingo [private]
allActionsactasp::Clingo [private]
availableActions() const actasp::Clingo [virtual]
Clingo(unsigned int max_n, const std::string &incrementalVar, const std::string &queryDir, const std::string &domainDir, const ActionSet &actions, unsigned int max_time=0)actasp::Clingo
computeAllPlans(const std::vector< actasp::AspRule > &goal, double suboptimality) const actasp::Clingo [virtual]
computePlan(const std::vector< actasp::AspRule > &goal) const actasp::Clingo [virtual]
computePolicy(const std::vector< actasp::AspRule > &goal, double suboptimality) const actasp::Clingo [virtual]
currentStateQuery(const std::vector< actasp::AspRule > &query) const actasp::Clingo [virtual]
domainDiractasp::Clingo [private]
generatePlanQuery(const std::vector< actasp::AspRule > &goalRules, bool filterActions) const actasp::Clingo [private]
incrementalVaractasp::Clingo [private]
isPlanValid(const AnswerSet &plan, const std::vector< actasp::AspRule > &goal) const actasp::Clingo [virtual]
krQuery(const std::string &query, unsigned int initialTimeStep, unsigned int finalTimeStep, const std::string &fileName, unsigned int answerSetsNumber) const actasp::Clingo [private]
max_nactasp::Clingo [private]
max_timeactasp::Clingo [private]
query(const std::string &queryString, unsigned int initialTimeStep, unsigned int finalTimeStep) const actasp::Clingo [virtual]
queryDiractasp::Clingo [private]
reset()actasp::Clingo [virtual]
setMaxTimeStep(unsigned int max_n)actasp::Clingo [inline]
updateFluents(const std::vector< actasp::AspFluent > &observations)actasp::Clingo [virtual]
~AspKR()actasp::AspKR [inline, virtual]
~MultiPlanner()actasp::MultiPlanner [inline, virtual]
~Planner()actasp::Planner [inline, virtual]


bwi_kr_execution
Author(s): Matteo Leonetti, Piyush Khandelwal
autogenerated on Fri Aug 28 2015 10:14:46