#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::MultiPolicy | 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 () |
| 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 initialTimeStep, unsigned int finalTimeStep) const throw () |
| RemoteReasoner (unsigned int max_n, const std::string &queryDir, const std::string &domainDir, const actasp::ActionSet &actions, unsigned int max_time=0) | |
| void | reset () throw () |
| bool | updateFluents (const std::vector< actasp::AspFluent > &observations) throw () |
Private Attributes | |
| actasp::Clingo | local |
Detailed Description
Definition at line 11 of file RemoteReasoner.h.
Constructor & Destructor Documentation
| bwi_krexec::RemoteReasoner::RemoteReasoner | ( | unsigned int | max_n, |
| const std::string & | queryDir, | ||
| const std::string & | domainDir, | ||
| const actasp::ActionSet & | actions, | ||
| unsigned int | max_time = 0 |
||
| ) |
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 34 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 69 of file RemoteReasoner.cpp.
| actasp::AnswerSet bwi_krexec::RemoteReasoner::computePlan | ( | const std::vector< actasp::AspRule > & | goal | ) | const throw (std::logic_error) |
Definition at line 57 of file RemoteReasoner.cpp.
| actasp::MultiPolicy bwi_krexec::RemoteReasoner::computePolicy | ( | const std::vector< actasp::AspRule > & | goal, |
| double | suboptimality | ||
| ) | const throw (std::logic_error) |
Definition at line 78 of file RemoteReasoner.cpp.
| actasp::AnswerSet bwi_krexec::RemoteReasoner::currentStateQuery | ( | const std::vector< actasp::AspRule > & | query | ) | const throw () |
Definition at line 30 of file RemoteReasoner.cpp.
| bool bwi_krexec::RemoteReasoner::isPlanValid | ( | const actasp::AnswerSet & | plan, |
| const std::vector< actasp::AspRule > & | goal | ||
| ) | const throw () |
Definition at line 64 of file RemoteReasoner.cpp.
| std::list< std::list< actasp::AspAtom > > bwi_krexec::RemoteReasoner::query | ( | const std::string & | queryString, |
| unsigned int | initialTimeStep, | ||
| unsigned int | finalTimeStep | ||
| ) | const throw () [virtual] |
Implements actasp::AspKR.
Definition at line 38 of file RemoteReasoner.cpp.
| void bwi_krexec::RemoteReasoner::reset | ( | ) | throw () [virtual] |
Implements actasp::AspKR.
Definition at line 84 of file RemoteReasoner.cpp.
| bool bwi_krexec::RemoteReasoner::updateFluents | ( | const std::vector< actasp::AspFluent > & | observations | ) | throw () |
Definition at line 43 of file RemoteReasoner.cpp.
Member Data Documentation
Definition at line 40 of file RemoteReasoner.h.
The documentation for this class was generated from the following files: