souffle  2.0.2-371-g6315b36
Public Member Functions
souffle::detail::brie::fix_binding< 0, Dim, Dim > Struct Template Reference

#include <Brie.h>

Collaboration diagram for souffle::detail::brie::fix_binding< 0, Dim, Dim >:
Collaboration graph

Public Member Functions

template<typename Store , typename iterator , typename entry_type >
bool operator() (const Store &, iterator &, iterator &, const entry_type &) const
 

Detailed Description

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

Definition at line 2348 of file Brie.h.

Member Function Documentation

◆ operator()()

template<unsigned Dim>
template<typename Store , typename iterator , typename entry_type >
bool souffle::detail::brie::fix_binding< 0, Dim, Dim >::operator() ( const Store &  ,
iterator &  ,
iterator &  ,
const entry_type &   
) const
inline

Definition at line 2350 of file Brie.h.

2351  {
2352  auto cur = store.lower_bound(entry[0]);
2353  if (cur == store.end()) return false;
2354  assert(entry[0] <= brie_element_type(*cur));

References souffle::SparseBitMap< BITS >::end(), and souffle::SparseBitMap< BITS >::lower_bound().

Here is the call graph for this function:

The documentation for this struct was generated from the following file:
souffle::detail::brie::brie_element_type
RamDomain brie_element_type
Definition: Brie.h:84