#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.
