#include "actasp/AspAtom.h"#include "actasp/AspKR.h"#include "actasp/reasoners/Reasoner.h"#include <actasp/reasoners/FilteringReasoner.h>#include <actasp/FilteringQueryGenerator.h>

Go to the source code of this file.
Classes | |
| class | bwi_krexec::RemoteReasoner |
Namespaces | |
| namespace | bwi_krexec |