#include "interpreter/Util.h"#include "souffle/RamTypes.h"#include "souffle/datastructure/EquivalenceRelation.h"#include "souffle/datastructure/UnionFind.h"#include "souffle/utility/ContainerUtil.h"#include "souffle/utility/MiscUtil.h"#include "souffle/utility/StreamUtil.h"#include <array>#include <atomic>#include <cassert>#include <cstdint>#include <cstring>#include <iosfwd>#include <iterator>#include <memory>#include <utility>#include <vector>
Include dependency graph for Index.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Data Structures | |
| class | souffle::interpreter::EqrelIndex |
| For EqrelIndex we do inheritence since EqrelIndex only diff with one extra function. More... | |
| class | souffle::interpreter::Index< _Arity, Structure > |
| An index is an abstraction of a data structure. More... | |
| class | souffle::interpreter::Index< 0, Structure > |
| A partial specialize template for nullary indexes. More... | |
| class | souffle::interpreter::Index< 0, Structure >::iterator |
| class | souffle::interpreter::Order |
| An order to be enforced for storing tuples within indexes. More... | |
| struct | souffle::interpreter::Index< 0, Structure >::View |
| class | souffle::interpreter::Index< _Arity, Structure >::View |
| A view on a relation caching local access patterns (not thread safe!). More... | |
| struct | souffle::interpreter::ViewWrapper |
| A dummy wrapper for indexViews. More... | |
Namespaces | |
| souffle | |
| souffle::interpreter | |
Functions | |
| std::ostream & | souffle::interpreter::operator<< (std::ostream &out, const Order &order) |
