|
souffle
2.0.2-371-g6315b36
|
#include "ram/AbstractExistenceCheck.h"#include "ram/ExistenceCheck.h"#include "ram/IndexOperation.h"#include "ram/ProvenanceExistenceCheck.h"#include "ram/Relation.h"#include "ram/TranslationUnit.h"#include "ram/analysis/Analysis.h"#include "ram/analysis/Relation.h"#include "souffle/utility/MiscUtil.h"#include <algorithm>#include <cassert>#include <cstdint>#include <iostream>#include <list>#include <map>#include <memory>#include <set>#include <string>#include <unordered_map>#include <unordered_set>#include <utility>#include <vector>

Go to the source code of this file.
Data Structures | |
| class | souffle::ram::analysis::SearchSignature::Hasher |
| class | souffle::ram::analysis::IndexAnalysis |
| class | souffle::ram::analysis::MaxMatching |
| class | souffle::ram::analysis::MinIndexSelection |
| class | souffle::ram::analysis::MinIndexSelection::SearchComparator |
| class | souffle::ram::analysis::SearchSignature |
| search signature of a RAM operation; each bit represents an attribute of a relation. More... | |
Namespaces | |
| souffle | |
| souffle::ram | |
| souffle::ram::analysis | |
Macros | |
| #define | M_UNIT_TEST |
Functions | |
| std::ostream & | souffle::ram::analysis::operator<< (std::ostream &out, const SearchSignature &signature) |
1.8.17