souffle
2.0.2-371-g6315b36
|
#include "ram/Relation.h"
#include "ram/analysis/Index.h"
#include <cstddef>
#include <cstdint>
#include <memory>
#include <ostream>
#include <set>
#include <string>
#include <unordered_set>
#include <vector>
Go to the source code of this file.
Data Structures | |
class | souffle::synthesiser::BrieRelation |
class | souffle::synthesiser::DirectRelation |
class | souffle::synthesiser::EqrelRelation |
class | souffle::synthesiser::IndirectRelation |
class | souffle::synthesiser::InfoRelation |
class | souffle::synthesiser::NullaryRelation |
class | souffle::synthesiser::Relation |
Namespaces | |
souffle | |
souffle::synthesiser | |
Souffle - A Datalog Compiler Copyright (c) 2013, 2015, Oracle and/or its affiliates. | |