actasp::Reasoner Member List
This is the complete list of members for actasp::Reasoner, including all inherited members.
allActionsactasp::Reasoner [protected]
availableActions() const actasp::Reasoner [virtual]
clingoactasp::Reasoner [protected]
computeAllPlans(const std::vector< actasp::AspRule > &goal, double suboptimality) const actasp::Reasoner [virtual]
computeOptimalPlan(const std::vector< actasp::AspRule > &goal, bool filterActions, double suboptimality, bool minimum) const actasp::Reasoner
computePlan(const std::vector< actasp::AspRule > &goal) const actasp::Reasoner [virtual]
computePolicy(const std::vector< actasp::AspRule > &goal, double suboptimality) const actasp::Reasoner [virtual]
computePolicyHelper(const std::vector< actasp::AspRule > &goal, double suboptimality, PartialPolicy *p) const actasp::Reasoner [protected]
currentStateQuery(const std::vector< actasp::AspRule > &query) const actasp::Reasoner [virtual]
isPlanValid(const AnswerSet &plan, const std::vector< actasp::AspRule > &goal) const actasp::Reasoner [virtual]
max_nactasp::Reasoner [protected]
query(const std::string &queryString, unsigned int timestep) const actasp::Reasoner [virtual]
Reasoner(QueryGenerator *actualReasoner, unsigned int max_n, const ActionSet &allActions)actasp::Reasoner
resetCurrentState()actasp::Reasoner [virtual]
setCurrentState(const std::set< actasp::AspFluent > &newState)actasp::Reasoner
setMaxTimeStep(unsigned int max_n)actasp::Reasoner [inline]
updateFluents(const std::vector< actasp::AspFluent > &observations)actasp::Reasoner [virtual]
~AspKR()actasp::AspKR [inline, virtual]
~MultiPlanner()actasp::MultiPlanner [inline, virtual]
~Planner()actasp::Planner [inline, virtual]
~Reasoner()actasp::Reasoner [inline, virtual]


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