#include "ast/Atom.h"#include "ast/ExecutionPlan.h"#include "ast/Literal.h"#include "ast/Node.h"#include "ast/utility/NodeMapper.h"#include "parser/SrcLocation.h"#include "souffle/utility/ContainerUtil.h"#include "souffle/utility/MiscUtil.h"#include "souffle/utility/StreamUtil.h"#include <algorithm>#include <memory>#include <ostream>#include <string>#include <utility>#include <vector>
Include dependency graph for Clause.h:
Go to the source code of this file.
Data Structures | |
| class | souffle::ast::Clause |
| Intermediate representation of a horn clause. More... | |
Namespaces | |
| souffle | |
| souffle::ast | |
