souffle  2.0.2-371-g6315b36
Namespaces | Macros | Functions
BrieIndex.cpp File Reference
#include "interpreter/Relation.h"
#include "ram/Relation.h"
#include "ram/analysis/Index.h"
#include "souffle/utility/MiscUtil.h"
Include dependency graph for BrieIndex.cpp:

Go to the source code of this file.

Namespaces

 souffle
 
 souffle::interpreter
 

Macros

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

Functions

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

Macro Definition Documentation

◆ CREATE_BRIE_REL

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

Definition at line 30 of file BrieIndex.cpp.