#include <RemoteReasoner.h>
Inheritance diagram for bwi_krexec::RemoteReasoner:
Public Member Functions | |
| actasp::ActionSet | availableActions () const throw () |
| std::vector< actasp::AnswerSet > | computeAllPlans (const std::vector< actasp::AspRule > &goal, double suboptimality) const throw (std::logic_error) |
| actasp::AnswerSet | computePlan (const std::vector< actasp::AspRule > &goal) const throw (std::logic_error) |
| actasp::GraphPolicy * | computePolicy (const std::vector< actasp::AspRule > &goal, double suboptimality) const throw (std::logic_error) |
| actasp::AnswerSet | currentStateQuery (const std::vector< actasp::AspRule > &query) const throw () |
| actasp::AnswerSet | filterState (const std::vector< actasp::AnswerSet > &plans, const std::vector< actasp::AspRule > &goals) |
| bool | isPlanValid (const actasp::AnswerSet &plan, const std::vector< actasp::AspRule > &goal) const throw () |
| std::list< std::list < actasp::AspAtom > > | query (const std::string &queryString, unsigned int timeStep) const throw () |
| RemoteReasoner (actasp::FilteringQueryGenerator *actualReasoner, unsigned int max_n, const actasp::ActionSet &allActions) | |
| void | resetCurrentState () throw () |
| bool | updateFluents (const std::vector< actasp::AspFluent > &observations) throw () |
Private Attributes | |
| actasp::FilteringReasoner | local |
Detailed Description
Definition at line 13 of file RemoteReasoner.h.
Constructor & Destructor Documentation
| bwi_krexec::RemoteReasoner::RemoteReasoner | ( | actasp::FilteringQueryGenerator * | actualReasoner, |
| unsigned int | max_n, | ||
| const actasp::ActionSet & | allActions | ||
| ) |
Definition at line 24 of file RemoteReasoner.cpp.
Member Function Documentation
| actasp::ActionSet bwi_krexec::RemoteReasoner::availableActions | ( | ) | const throw () [virtual] |
Implements actasp::AspKR.
Definition at line 31 of file RemoteReasoner.cpp.
| std::vector< actasp::AnswerSet > bwi_krexec::RemoteReasoner::computeAllPlans | ( | const std::vector< actasp::AspRule > & | goal, |
| double | suboptimality | ||
| ) | const throw (std::logic_error) |
Definition at line 65 of file RemoteReasoner.cpp.
| actasp::AnswerSet bwi_krexec::RemoteReasoner::computePlan | ( | const std::vector< actasp::AspRule > & | goal | ) | const throw (std::logic_error) |
Definition at line 53 of file RemoteReasoner.cpp.
| actasp::GraphPolicy * bwi_krexec::RemoteReasoner::computePolicy | ( | const std::vector< actasp::AspRule > & | goal, |
| double | suboptimality | ||
| ) | const throw (std::logic_error) |
Definition at line 74 of file RemoteReasoner.cpp.
| actasp::AnswerSet bwi_krexec::RemoteReasoner::currentStateQuery | ( | const std::vector< actasp::AspRule > & | query | ) | const throw () |
Definition at line 27 of file RemoteReasoner.cpp.
| actasp::AnswerSet bwi_krexec::RemoteReasoner::filterState | ( | const std::vector< actasp::AnswerSet > & | plans, |
| const std::vector< actasp::AspRule > & | goals | ||
| ) |
Definition at line 79 of file RemoteReasoner.cpp.
| bool bwi_krexec::RemoteReasoner::isPlanValid | ( | const actasp::AnswerSet & | plan, |
| const std::vector< actasp::AspRule > & | goal | ||
| ) | const throw () |
Definition at line 60 of file RemoteReasoner.cpp.
| std::list< std::list< actasp::AspAtom > > bwi_krexec::RemoteReasoner::query | ( | const std::string & | queryString, |
| unsigned int | timeStep | ||
| ) | const throw () [virtual] |
Implements actasp::AspKR.
Definition at line 35 of file RemoteReasoner.cpp.
| void bwi_krexec::RemoteReasoner::resetCurrentState | ( | ) | throw () [virtual] |
Implements actasp::AspKR.
Definition at line 85 of file RemoteReasoner.cpp.
| bool bwi_krexec::RemoteReasoner::updateFluents | ( | const std::vector< actasp::AspFluent > & | observations | ) | throw () |
Definition at line 39 of file RemoteReasoner.cpp.
Member Data Documentation
Definition at line 39 of file RemoteReasoner.h.
The documentation for this class was generated from the following files: