souffle  2.0.2-371-g6315b36
Namespaces | Macros | Functions
ProvenanceIndex.cpp File Reference
#include "interpreter/Relation.h"
Include dependency graph for ProvenanceIndex.cpp:

Go to the source code of this file.

Namespaces

 souffle
 
 souffle::interpreter
 

Macros

#define CREATE_PROVENANCE_REL(Structure, Arity, ...)
 

Functions

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

Macro Definition Documentation

◆ CREATE_PROVENANCE_REL

#define CREATE_PROVENANCE_REL (   Structure,
  Arity,
  ... 
)
Value:
case (Arity): { \
return mk<Relation<Arity, interpreter::Provenance>>(id.getAuxiliaryArity(), id.getName(), orderSet); \
}

Definition at line 27 of file ProvenanceIndex.cpp.