#include <FilteringQueryGenerator.h>
Public Member Functions | |
virtual std::list < actasp::AnswerSet > | filteringQuery (const AnswerSet ¤tState, const AnswerSet &plan, const std::vector< actasp::AspRule > &goals)=0 |
Definition at line 11 of file FilteringQueryGenerator.h.
virtual std::list<actasp::AnswerSet> actasp::FilteringQueryGenerator::filteringQuery | ( | const AnswerSet & | currentState, |
const AnswerSet & | plan, | ||
const std::vector< actasp::AspRule > & | goals | ||
) | [pure virtual] |
Implemented in actasp::Clingo4_2.