, including all inherited members.
availableActions() const | bwi_krexec::RemoteReasoner | [virtual] |
computeAllPlans(const std::vector< actasp::AspRule > &goal, double suboptimality) const | bwi_krexec::RemoteReasoner | |
actasp::FilteringKR::computeAllPlans(const std::vector< actasp::AspRule > &goal, double suboptimality) const =0 | actasp::MultiPlanner | [pure virtual] |
computePlan(const std::vector< actasp::AspRule > &goal) const | bwi_krexec::RemoteReasoner | |
actasp::FilteringKR::computePlan(const std::vector< actasp::AspRule > &goal) const =0 | actasp::Planner | [pure virtual] |
computePolicy(const std::vector< actasp::AspRule > &goal, double suboptimality) const | bwi_krexec::RemoteReasoner | |
actasp::FilteringKR::computePolicy(const std::vector< actasp::AspRule > &goal, double suboptimality) const =0 | actasp::FilteringKR | [pure virtual] |
currentStateQuery(const std::vector< actasp::AspRule > &query) const | bwi_krexec::RemoteReasoner | |
actasp::FilteringKR::currentStateQuery(const std::vector< actasp::AspRule > &query) const =0 | actasp::AspKR | [pure virtual] |
filterState(const std::vector< actasp::AnswerSet > &plans, const std::vector< actasp::AspRule > &goals) | bwi_krexec::RemoteReasoner | |
actasp::FilteringKR::filterState(const std::vector< actasp::AnswerSet > &plans, const std::vector< actasp::AspRule > &goals)=0 | actasp::FilteringKR | [pure virtual] |
isPlanValid(const actasp::AnswerSet &plan, const std::vector< actasp::AspRule > &goal) const | bwi_krexec::RemoteReasoner | |
actasp::FilteringKR::isPlanValid(const AnswerSet &plan, const std::vector< actasp::AspRule > &goal) const =0 | actasp::AspKR | [pure virtual] |
local | bwi_krexec::RemoteReasoner | [private] |
query(const std::string &queryString, unsigned int timeStep) const | bwi_krexec::RemoteReasoner | [virtual] |
RemoteReasoner(actasp::FilteringQueryGenerator *actualReasoner, unsigned int max_n, const actasp::ActionSet &allActions) | bwi_krexec::RemoteReasoner | |
resetCurrentState() | bwi_krexec::RemoteReasoner | [virtual] |
updateFluents(const std::vector< actasp::AspFluent > &observations) | bwi_krexec::RemoteReasoner | |
actasp::FilteringKR::updateFluents(const std::vector< actasp::AspFluent > &observations)=0 | actasp::AspKR | [pure virtual] |
~AspKR() | actasp::AspKR | [inline, virtual] |
~FilteringKR() | actasp::FilteringKR | [inline, virtual] |
~MultiPlanner() | actasp::MultiPlanner | [inline, virtual] |
~Planner() | actasp::Planner | [inline, virtual] |