souffle::detail::brie::fix_binding< Len, Pos, Dim > Struct Template Reference

A functor initializing an iterator upon creation to reference the first element exhibiting a given prefix within a given Trie. More...

#include <Brie.h>

Collaboration diagram for souffle::detail::brie::fix_binding< Len, Pos, Dim >:

Public Member Functions
template<unsigned bits, typename iterator , typename entry_type >
bool	operator() (const SparseBitMap< bits > &store, iterator &begin, iterator &end, const entry_type &entry) const
template<typename Store , typename iterator , typename entry_type >
bool	operator() (const Store &store, iterator &begin, iterator &end, const entry_type &entry) const

Detailed Description

template<unsigned Len, unsigned Pos, unsigned Dim>
struct souffle::detail::brie::fix_binding< Len, Pos, Dim >

A functor initializing an iterator upon creation to reference the first element exhibiting a given prefix within a given Trie.

Definition at line 2268 of file Brie.h.

Member Function Documentation

operator()() [1/2]

template<unsigned Len, unsigned Pos, unsigned Dim>

template<unsigned bits, typename iterator , typename entry_type >

bool souffle::detail::brie::fix_binding< Len, Pos, Dim >::operator() ( const SparseBitMap< bits > &  store, iterator &  begin, iterator &  end, const entry_type &  entry  ) const

inline

Definition at line 2270 of file Brie.h.

                                                                                                       {
        // search in current level
        auto cur = store.find(entry[Pos]);
 
        // if not present => fail
        if (cur == store.end()) return false;
 
        // take current value as start
        get_nested_iter_core<Pos>()(begin.iter_core).setIterator(cur);
 
        // update iterator value
        begin.value[Pos] = entry[Pos];
 
        // fix remaining nested iterators

operator()() [2/2]

template<unsigned Len, unsigned Pos, unsigned Dim>

template<typename Store , typename iterator , typename entry_type >

bool souffle::detail::brie::fix_binding< Len, Pos, Dim >::operator() ( const Store &  store, iterator &  begin, iterator &  end, const entry_type &  entry  ) const

inline

Definition at line 2291 of file Brie.h.

                                                                                                           {
            ++cur;
            if (cur != store.end()) {
                fix_first<Pos + 1, Dim>()(cur->second->getStore(), end);
            }
        }
        get_nested_iter_core<Pos>()(end.iter_core).setIterator(cur);
 
        // done
        return res;
    }
};
 
template <unsigned Pos, unsigned Dim>
struct fix_binding<0, Pos, Dim> {
    template <unsigned bits, typename iterator, typename entry_type>
    bool operator()(const SparseBitMap<bits>& store, iterator& begin, iterator& /* end */,
            const entry_type& /* entry */) const {
        // move begin to begin of store
        auto a = store.begin();
        get_nested_iter_core<Pos>()(begin.iter_core).setIterator(a);
        begin.value[Pos] = *a;
 
        return true;
    }
 
    template <typename Store, typename iterator, typename entry_type>

---

The documentation for this struct was generated from the following file:

• include/souffle/datastructure/Brie.h