#include "ast/BinaryConstraint.h"#include "ast/Clause.h"#include "ast/Literal.h"#include "ast/TranslationUnit.h"#include "ast/transform/Transformer.h"#include "souffle/utility/ContainerUtil.h"#include <memory>#include <string>#include <vector>
Include dependency graph for FoldAnonymousRecords.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Data Structures | |
| class | souffle::ast::transform::FoldAnonymousRecords |
| Transformation pass that removes (binary) constraints on the anonymous records. More... | |
Namespaces | |
| souffle | |
| souffle::ast | |
| souffle::ast::transform | |
