souffle::detail::brie::fix_lower_bound< Dim > Struct Template Reference

A functor initializing an iterator upon creation to reference the first element within a given Trie being not less than a given value . More...

#include <Brie.h>

Collaboration diagram for souffle::detail::brie::fix_lower_bound< Dim >:

Public Types
using	const_entry_span_type = typename types::const_entry_span_type
using	types = TrieTypes< Dim >

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

Detailed Description

template<unsigned Dim>
struct souffle::detail::brie::fix_lower_bound< Dim >

A functor initializing an iterator upon creation to reference the first element within a given Trie being not less than a given value .

Definition at line 2362 of file Brie.h.

Member Typedef Documentation

const_entry_span_type

template<unsigned Dim>

using souffle::detail::brie::fix_lower_bound< Dim >::const_entry_span_type = typename types::const_entry_span_type

Definition at line 2364 of file Brie.h.

types

template<unsigned Dim>

using souffle::detail::brie::fix_lower_bound< Dim >::types = TrieTypes<Dim>

Definition at line 2363 of file Brie.h.

Member Function Documentation

operator()() [1/2]

template<unsigned Dim>

template<unsigned bits, typename iterator >

bool souffle::detail::brie::fix_lower_bound< Dim >::operator() ( const SparseBitMap< bits > &  store, iterator &&  iter, const_entry_span_type  entry  ) const

inline

Definition at line 2367 of file Brie.h.

                                                      {
            iter.iter_core.setIterator(cur);
            iter.value[0] = cur->first;
            fix_first_nested<Dim - 1>()(cur->second->getStore(), iter.getNestedView());
            return true;
        }
 
        // attempt to fix the rest

operator()() [2/2]

template<unsigned Dim>

template<typename Store , typename iterator >

bool souffle::detail::brie::fix_lower_bound< Dim >::operator() ( const Store &  store, iterator &&  iter, const_entry_span_type  entry  ) const

inline

Definition at line 2378 of file Brie.h.

                       {
    using types = TrieTypes<Dim>;
    using const_entry_span_type = typename types::const_entry_span_type;
 
    template <unsigned bits, typename iterator>
    bool operator()(const SparseBitMap<bits>& store, iterator&& iter, const_entry_span_type entry) const {
        auto cur = store.upper_bound(entry[0]);
        if (cur == store.end()) return false;
        assert(entry[0] <= brie_element_type(*cur));

---

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

• include/souffle/datastructure/Brie.h