#include "ram/Operation.h"#include "ram/Relation.h"#include "ram/Statement.h"#include "ram/TranslationUnit.h"#include "ram/utility/Visitor.h"#include "souffle/RecordTable.h"#include "souffle/utility/ContainerUtil.h"#include "synthesiser/Relation.h"#include <cstddef>#include <map>#include <memory>#include <ostream>#include <set>#include <string>
Include dependency graph for Synthesiser.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Data Structures | |
| class | souffle::synthesiser::Synthesiser |
| A RAM synthesiser: synthesises a C++ program from a RAM program. More... | |
Namespaces | |
| souffle | |
| souffle::synthesiser | |
| Souffle - A Datalog Compiler Copyright (c) 2013, 2015, Oracle and/or its affiliates. | |
