souffle  2.0.2-371-g6315b36
Data Structures | Namespaces | Typedefs | Functions
Relation.h File Reference
#include "interpreter/Index.h"
#include "ram/analysis/Index.h"
#include "souffle/RamTypes.h"
#include "souffle/SouffleInterface.h"
#include <cstddef>
#include <cstdint>
#include <deque>
#include <iterator>
#include <memory>
#include <set>
#include <string>
#include <utility>
#include <vector>
Include dependency graph for Relation.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::EqrelRelation
 
class  souffle::interpreter::RelationWrapper::Iterator
 The iterator interface. More...
 
class  souffle::interpreter::Relation< _Arity, Structure >::iterator_base
 
class  souffle::interpreter::RelationWrapper::iterator_base
 A virtualized iterator class that can be used by the Proginterface. More...
 
class  souffle::interpreter::Relation< _Arity, Structure >
 A relation, composed of a collection of indexes. More...
 
struct  souffle::interpreter::RelationWrapper
 Wrapper for InterpreterRelation. More...
 

Namespaces

 souffle
 
 souffle::interpreter
 

Typedefs

using souffle::interpreter::RelationFactory = Own< RelationWrapper >(*)(const ram::Relation &id, const ram::analysis::MinIndexSelection &orderSet)
 

Functions

Own< RelationWrapper > souffle::interpreter::createBrieRelation (const ram::Relation &id, const ram::analysis::MinIndexSelection &)
 
Own< RelationWrapper > souffle::interpreter::createBTreeRelation (const ram::Relation &id, const ram::analysis::MinIndexSelection &orderSet)
 
Own< RelationWrapper > souffle::interpreter::createEqrelRelation (const ram::Relation &id, const ram::analysis::MinIndexSelection &orderSet)
 
Own< RelationWrapper > souffle::interpreter::createProvenanceRelation (const ram::Relation &id, const ram::analysis::MinIndexSelection &orderSet)