#include <FilteringReasoner.h>
Public Member Functions | |
| ActionSet | availableActions () const throw () |
| std::vector< AnswerSet > | computeAllPlans (const std::vector< actasp::AspRule > &goal, double suboptimality) const throw (std::logic_error) |
| AnswerSet | computePlan (const std::vector< actasp::AspRule > &goal) const throw (std::logic_error) |
| GraphPolicy * | computePolicy (const std::vector< actasp::AspRule > &goal, double suboptimality) const throw (std::logic_error) |
| AnswerSet | currentStateQuery (const std::vector< actasp::AspRule > &query) const throw () |
| FilteringReasoner (FilteringQueryGenerator *actualReasoner, unsigned int max_n, const ActionSet &allActions) | |
| AnswerSet | filterState (const std::vector< actasp::AnswerSet > &plans, const std::vector< actasp::AspRule > &goals) |
| bool | isPlanValid (const AnswerSet &plan, const std::vector< actasp::AspRule > &goal) const throw () |
| std::list< std::list< AspAtom > > | query (const std::string &queryString, unsigned int timestep) const throw () |
| void | resetCurrentState () throw () |
| bool | updateFluents (const std::vector< actasp::AspFluent > &observations) throw () |
Private Attributes | |
| FilteringQueryGenerator * | clingo |
Detailed Description
Definition at line 11 of file FilteringReasoner.h.
Constructor & Destructor Documentation
| actasp::FilteringReasoner::FilteringReasoner | ( | FilteringQueryGenerator * | actualReasoner, |
| unsigned int | max_n, | ||
| const ActionSet & | allActions | ||
| ) |
Definition at line 15 of file FilteringReasoner.cpp.
Member Function Documentation
| ActionSet actasp::FilteringReasoner::availableActions | ( | ) | const throw () [inline, virtual] |
Reimplemented from actasp::Reasoner.
Definition at line 24 of file FilteringReasoner.h.
| std::vector< AnswerSet > actasp::FilteringReasoner::computeAllPlans | ( | const std::vector< actasp::AspRule > & | goal, |
| double | suboptimality | ||
| ) | const throw (std::logic_error) [inline, virtual] |
Reimplemented from actasp::Reasoner.
Definition at line 20 of file FilteringReasoner.h.
| AnswerSet actasp::FilteringReasoner::computePlan | ( | const std::vector< actasp::AspRule > & | goal | ) | const throw (std::logic_error) [inline, virtual] |
Reimplemented from actasp::Reasoner.
Definition at line 16 of file FilteringReasoner.h.
| GraphPolicy * actasp::FilteringReasoner::computePolicy | ( | const std::vector< actasp::AspRule > & | goal, |
| double | suboptimality | ||
| ) | const throw (std::logic_error) [virtual] |
Implements actasp::FilteringKR.
Definition at line 20 of file FilteringReasoner.cpp.
| AnswerSet actasp::FilteringReasoner::currentStateQuery | ( | const std::vector< actasp::AspRule > & | query | ) | const throw () [inline, virtual] |
Reimplemented from actasp::Reasoner.
Definition at line 28 of file FilteringReasoner.h.
| AnswerSet actasp::FilteringReasoner::filterState | ( | const std::vector< actasp::AnswerSet > & | plans, |
| const std::vector< actasp::AspRule > & | goals | ||
| ) | [virtual] |
Implements actasp::FilteringKR.
Definition at line 40 of file FilteringReasoner.cpp.
| bool actasp::FilteringReasoner::isPlanValid | ( | const AnswerSet & | plan, |
| const std::vector< actasp::AspRule > & | goal | ||
| ) | const throw () [inline, virtual] |
Reimplemented from actasp::Reasoner.
Definition at line 36 of file FilteringReasoner.h.
| std::list< std::list<AspAtom> > actasp::FilteringReasoner::query | ( | const std::string & | queryString, |
| unsigned int | timestep | ||
| ) | const throw () [inline, virtual] |
Reimplemented from actasp::Reasoner.
Definition at line 44 of file FilteringReasoner.h.
| void actasp::FilteringReasoner::resetCurrentState | ( | ) | throw () [inline, virtual] |
Reimplemented from actasp::Reasoner.
Definition at line 40 of file FilteringReasoner.h.
| bool actasp::FilteringReasoner::updateFluents | ( | const std::vector< actasp::AspFluent > & | observations | ) | throw () [inline, virtual] |
Reimplemented from actasp::Reasoner.
Definition at line 32 of file FilteringReasoner.h.
Member Data Documentation
Reimplemented from actasp::Reasoner.
Definition at line 53 of file FilteringReasoner.h.
The documentation for this struct was generated from the following files: