#include "souffle/RamTypes.h"#include "souffle/SouffleInterface.h"#include "souffle/SymbolTable.h"#include "souffle/utility/MiscUtil.h"#include "souffle/utility/StringUtil.h"#include "souffle/utility/tinyformat.h"#include <algorithm>#include <cassert>#include <cstdio>#include <map>#include <memory>#include <sstream>#include <string>#include <utility>#include <vector>
Include dependency graph for ExplainProvenance.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Data Structures | |
| class | souffle::ConstConstraint |
| Constant constraints for values in query command. More... | |
| class | souffle::Equivalence |
| Equivalence class for variables in query command. More... | |
| class | souffle::ExplainProvenance |
Namespaces | |
| souffle | |
Functions | |
| std::vector< std::string > | souffle::split (const std::string &s, char delim, int times=-1) |
| utility function to split a string More... | |
