#include "ram/AbstractExistenceCheck.h"#include "ram/Expression.h"#include "ram/Relation.h"#include "souffle/utility/MiscUtil.h"#include <memory>#include <sstream>#include <utility>#include <vector>
Include dependency graph for ProvenanceExistenceCheck.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Data Structures | |
| class | souffle::ram::ProvenanceExistenceCheck |
| Provenance Existence check for a relation. More... | |
Namespaces | |
| souffle | |
| souffle::ram | |
