#include "ast/Atom.h"#include "ast/Program.h"#include "ast/Relation.h"#include "ast/TranslationUnit.h"#include "ast/analysis/Analysis.h"#include "ast/utility/Utils.h"#include <string>
Include dependency graph for AuxArity.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::AuxiliaryArityAnalysis |
| Determine the auxiliary arity for relations. More... | |
Namespaces | |
| souffle | |
| souffle::ast | |
| souffle::ast::analysis | |
