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