#include <QtCore/QSharedDataPointer>
#include <QtCore/QList>
#include "statementpattern.h"
#include "statement.h"
#include "soprano_export.h"
Go to the source code of this file.
Namespaces | |
namespace | Soprano |
namespace | Soprano::Inference |
Classes | |
class | Soprano::Inference::Rule |
A rule used by the InferenceModel to generate inferenced statements. More... | |
Functions | |
SOPRANO_EXPORT QDebug | operator<< (QDebug s, const Soprano::Inference::Rule &) |
SOPRANO_EXPORT QDebug operator<< | ( | QDebug | s, | |
const Soprano::Inference::Rule & | ||||
) |