| 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. | |
 1.8.17
 1.8.17