Public Member Functions
actasp::FilteringQueryGenerator Struct Reference

#include <FilteringQueryGenerator.h>

Inheritance diagram for actasp::FilteringQueryGenerator:
Inheritance graph
[legend]

List of all members.

Public Member Functions

virtual std::list
< actasp::AnswerSet
filteringQuery (const AnswerSet &currentState, const AnswerSet &plan, const std::vector< actasp::AspRule > &goals)=0

Detailed Description

Definition at line 11 of file FilteringQueryGenerator.h.


Member Function Documentation

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.


The documentation for this struct was generated from the following file:


bwi_kr_execution
Author(s): Matteo Leonetti, Piyush Khandelwal
autogenerated on Thu Jun 6 2019 17:57:37