#include "ast/Atom.h"#include "ast/Negation.h"#include "ast/Node.h"#include "souffle/utility/MiscUtil.h"#include <iostream>#include <memory>
Include dependency graph for ProvenanceNegation.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::ProvenanceNegation |
| Subclass of Literal that represents a negated atom, * e.g., !parent(x,y). More... | |
Namespaces | |
| souffle | |
| souffle::ast | |
