#include "ast/Argument.h"#include "ast/Atom.h"#include "ast/Clause.h"#include "ast/Literal.h"#include "ast/QualifiedName.h"#include "ast/analysis/Analysis.h"#include <cstddef>#include <iosfwd>#include <map>#include <set>#include <string>#include <vector>
Include dependency graph for ClauseNormalisation.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::analysis::ClauseNormalisationAnalysis |
| class | souffle::ast::analysis::NormalisedClause |
| struct | souffle::ast::analysis::NormalisedClause::NormalisedClauseElement |
Namespaces | |
| souffle | |
| souffle::ast | |
| souffle::ast::analysis | |
