Util.h File Reference

#include "Global.h"
#include "souffle/RamTypes.h"
#include "souffle/datastructure/BTree.h"
#include "souffle/datastructure/Brie.h"
#include "souffle/datastructure/EquivalenceRelation.h"
#include "souffle/utility/ContainerUtil.h"
#include "souffle/utility/MiscUtil.h"

Include dependency graph for Util.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
struct	souffle::interpreter::index_utils::comparator< Columns >
struct	souffle::interpreter::index_utils::comparator< First, Rest... >
struct	souffle::interpreter::index_utils::comparator<>
struct	souffle::interpreter::index_utils::extend< Index, column >
struct	souffle::interpreter::index_utils::extend< index< Columns... >, Col >
struct	souffle::interpreter::index_utils::get_full_index< arity >
struct	souffle::interpreter::index_utils::get_full_index< 0 >
struct	souffle::interpreter::index< Columns >
	The index class is utilized as a template-meta-programming structure to specify and realize indices. More...
struct	souffle::interpreter::ProvenanceUpdater< Arity >

Namespaces
	souffle
	souffle::interpreter
	souffle::interpreter::index_utils
	A namespace enclosing utilities required by indices.

Macros
#define	FOR_EACH(func, ...)
#define	FOR_EACH_BRIE(func, ...)
#define	FOR_EACH_BTREE(func, ...)
#define	FOR_EACH_EQREL(func, ...)   func(Eqrel, 2, __VA_ARGS__)
#define	FOR_EACH_PROVENANCE(func, ...)

Typedefs
template<size_t Arity>
using	souffle::interpreter::Brie = Trie< Arity >
template<size_t Arity>
using	souffle::interpreter::Btree = btree_set< t_tuple< Arity >, comparator< Arity > >
template<size_t Arity>
using	souffle::interpreter::comparator = typename index_utils::get_full_index< Arity >::type::comparator
template<size_t Arity>
using	souffle::interpreter::Eqrel = EquivalenceRelation< t_tuple< Arity > >
template<size_t Arity>
using	souffle::interpreter::Provenance = btree_set< t_tuple< Arity >, comparator< Arity >, std::allocator< t_tuple< Arity > >, 256, typename detail::default_strategy< t_tuple< Arity > >::type, comparator< Arity - 2 >, ProvenanceUpdater< Arity > >
template<size_t Arity>
using	souffle::interpreter::t_tuple = typename souffle::Tuple< RamDomain, Arity >

Macro Definition Documentation

FOR_EACH

#define FOR_EACH	(		func,
			...
	)

Value:

    FOR_EACH_BTREE(func, __VA_ARGS__)       \
    FOR_EACH_BRIE(func, __VA_ARGS__)        \
    FOR_EACH_PROVENANCE(func, __VA_ARGS__)  \
    FOR_EACH_EQREL(func, __VA_ARGS__)

Definition at line 116 of file Util.h.

FOR_EACH_BRIE

#define FOR_EACH_BRIE	(		func,
			...
	)

Definition at line 90 of file Util.h.

FOR_EACH_BTREE

#define FOR_EACH_BTREE	(		func,
			...
	)

Value:

    func(Btree, 0, __VA_ARGS__) \
    func(Btree, 1, __VA_ARGS__) \
    func(Btree, 2, __VA_ARGS__) \
    func(Btree, 3, __VA_ARGS__) \
    func(Btree, 4, __VA_ARGS__) \
    func(Btree, 5, __VA_ARGS__) \
    func(Btree, 6, __VA_ARGS__) \
    func(Btree, 7, __VA_ARGS__) \
    func(Btree, 8, __VA_ARGS__) \
    func(Btree, 9, __VA_ARGS__) \
    func(Btree, 10, __VA_ARGS__) \
    func(Btree, 11, __VA_ARGS__) \
    func(Btree, 12, __VA_ARGS__) \
    func(Btree, 13, __VA_ARGS__) \
    func(Btree, 14, __VA_ARGS__) \
    func(Btree, 15, __VA_ARGS__) \
    func(Btree, 16, __VA_ARGS__) \
    func(Btree, 17, __VA_ARGS__) \
    func(Btree, 18, __VA_ARGS__) \
    func(Btree, 19, __VA_ARGS__) \
    func(Btree, 20, __VA_ARGS__)

Definition at line 66 of file Util.h.

FOR_EACH_EQREL

#define FOR_EACH_EQREL	(		func,
			...
	)		func(Eqrel, 2, __VA_ARGS__)

Definition at line 113 of file Util.h.

FOR_EACH_PROVENANCE

#define FOR_EACH_PROVENANCE	(		func,
			...
	)

Value:

    func(Provenance, 2, __VA_ARGS__)   \
    func(Provenance, 3, __VA_ARGS__)   \
    func(Provenance, 4, __VA_ARGS__)   \
    func(Provenance, 5, __VA_ARGS__)   \
    func(Provenance, 6, __VA_ARGS__)   \
    func(Provenance, 7, __VA_ARGS__)   \
    func(Provenance, 8, __VA_ARGS__)   \
    func(Provenance, 9, __VA_ARGS__)   \
    func(Provenance, 10, __VA_ARGS__)  \
    func(Provenance, 11, __VA_ARGS__)  \
    func(Provenance, 12, __VA_ARGS__)  \
    func(Provenance, 13, __VA_ARGS__)  \
    func(Provenance, 14, __VA_ARGS__)  \
    func(Provenance, 15, __VA_ARGS__)  \
    func(Provenance, 16, __VA_ARGS__)  \
    func(Provenance, 17, __VA_ARGS__)  \
    func(Provenance, 18, __VA_ARGS__)  \
    func(Provenance, 19, __VA_ARGS__)  \
    func(Provenance, 20, __VA_ARGS__)  \
    func(Provenance, 21, __VA_ARGS__)  \
    func(Provenance, 22, __VA_ARGS__)  \
    func(Provenance, 23, __VA_ARGS__)  \
    func(Provenance, 24, __VA_ARGS__)  \
    func(Provenance, 25, __VA_ARGS__)  \
    func(Provenance, 26, __VA_ARGS__)  \
    func(Provenance, 27, __VA_ARGS__)  \
    func(Provenance, 28, __VA_ARGS__)  \
    func(Provenance, 29, __VA_ARGS__)  \
    func(Provenance, 30, __VA_ARGS__)

Definition at line 34 of file Util.h.