#include <actasp/reasoners/FilteringReasoner.h>#include <actasp/FilteringQueryGenerator.h>#include <vector>#include <sstream>#include <boost/graph/graph_concepts.hpp>
Include dependency graph for FilteringReasoner.cpp:
Go to the source code of this file.
Classes | |
| struct | actasp::AnswerSetStateComparator |
Namespaces | |
| namespace | actasp |