Classes | Namespaces
AspKR.h File Reference
#include <actasp/AspAtom.h>
#include <actasp/AnswerSet.h>
#include <actasp/MultiPlanner.h>
#include <vector>
#include <list>
Include dependency graph for AspKR.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  actasp::AspKR

Namespaces

namespace  actasp


bwi_kr_execution
Author(s): Matteo Leonetti, Piyush Khandelwal
autogenerated on Fri Aug 28 2015 10:14:46