#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 |