Go to the documentation of this file.00001 #ifndef actasp_FilteringKR_h__guard
00002 #define actasp_FilteringKR_h__guard
00003
00004 #include <actasp/AspKR.h>
00005
00006
00007 namespace actasp {
00008
00009
00010 struct FilteringKR : public actasp::AspKR {
00011
00012 virtual GraphPolicy* computePolicy(const std::vector<actasp::AspRule>& goal, double suboptimality) const throw (std::logic_error) = 0;
00013
00014 virtual AnswerSet filterState(const std::vector<actasp::AnswerSet>& plans, const std::vector<actasp::AspRule>& goals) = 0;
00015
00016 virtual ~FilteringKR() {}
00017 };
00018
00019 }
00020 #endif