| allActions | actasp::Reasoner | [protected] |
| availableActions() const | actasp::FilteringReasoner | [inline, virtual] |
| clingo | actasp::FilteringReasoner | [private] |
| computeAllPlans(const std::vector< actasp::AspRule > &goal, double suboptimality) const | actasp::FilteringReasoner | [inline, 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::FilteringReasoner | [inline, virtual] |
| computePolicy(const std::vector< actasp::AspRule > &goal, double suboptimality) const | actasp::FilteringReasoner | [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::FilteringReasoner | [inline, virtual] |
| FilteringReasoner(FilteringQueryGenerator *actualReasoner, unsigned int max_n, const ActionSet &allActions) | actasp::FilteringReasoner | |
| filterState(const std::vector< actasp::AnswerSet > &plans, const std::vector< actasp::AspRule > &goals) | actasp::FilteringReasoner | [virtual] |
| isPlanValid(const AnswerSet &plan, const std::vector< actasp::AspRule > &goal) const | actasp::FilteringReasoner | [inline, virtual] |
| max_n | actasp::Reasoner | [protected] |
| query(const std::string &queryString, unsigned int timestep) const | actasp::FilteringReasoner | [inline, virtual] |
| Reasoner(QueryGenerator *actualReasoner, unsigned int max_n, const ActionSet &allActions) | actasp::Reasoner | |
| resetCurrentState() | actasp::FilteringReasoner | [inline, 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::FilteringReasoner | [inline, virtual] |
| ~AspKR() | actasp::AspKR | [inline, virtual] |
| ~FilteringKR() | actasp::FilteringKR | [inline, virtual] |
| ~MultiPlanner() | actasp::MultiPlanner | [inline, virtual] |
| ~Planner() | actasp::Planner | [inline, virtual] |
| ~Reasoner() | actasp::Reasoner | [inline, virtual] |