#include "souffle/provenance/ExplainProvenance.h"#include "souffle/provenance/ExplainProvenanceImpl.h"#include "souffle/provenance/ExplainTree.h"#include <algorithm>#include <csignal>#include <cstdio>#include <fstream>#include <iostream>#include <map>#include <memory>#include <regex>#include <string>#include <utility>#include <vector>#include <unistd.h>
Include dependency graph for Explain.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Data Structures | |
| class | souffle::Explain |
| class | souffle::ExplainConfig |
Namespaces | |
| souffle | |
Macros | |
| #define | MAX_TREE_HEIGHT 500 |
| #define | MAX_TREE_WIDTH 500 |
Functions | |
| void | souffle::explain (SouffleProgram &prog, bool ncurses) |
