Data Structures | |
| struct | default_factory |
| A templated functor to obtain default values for unspecified elements of sparse array instances. More... | |
| struct | default_merge |
| A operation to be utilized by the sparse map when merging elements associated to different values. More... | |
| struct | fix_binding |
| A functor initializing an iterator upon creation to reference the first element exhibiting a given prefix within a given Trie. More... | |
| struct | fix_binding< 0, Dim, Dim > |
| struct | fix_binding< 0, Pos, Dim > |
| struct | fix_first |
| A functor initializing an iterator upon creation to reference the first element in the associated Trie. More... | |
| struct | fix_first< Dim, Dim > |
| struct | fix_first_nested |
| struct | fix_lower_bound |
| A functor initializing an iterator upon creation to reference the first element within a given Trie being not less than a given value . More... | |
| struct | fix_upper_bound |
| A functor initializing an iterator upon creation to reference the first element within a given Trie being greater than a given value . More... | |
| struct | forward_non_output_iterator_traits |
| struct | get_nested_iter_core |
| A functor extracting a reference to a nested iterator core from an enclosing iterator core. More... | |
| struct | get_nested_iter_core< 0 > |
| struct | identity |
| A functor representing the identity function. More... | |
| struct | SparseArrayIter |
Iterator type for souffle::SparseArray. More... | |
| class | SparseBitMapIter |
Iterator type for souffle::SparseArray. More... | |
| class | TrieBase |
| A base class for the Trie implementation allowing various specializations of the Trie template to inherit common functionality. More... | |
| class | TrieIterator |
| An iterator over the stored entries. More... | |
| struct | TrieTypes |
| struct | TrieTypes< 1u > |
Typedefs | |
| using | brie_element_type = RamDomain |
Functions | |
| template<typename A , size_t arity> | |
| auto | copy (span< A, arity > s) |
| template<size_t offset, typename A , size_t arity> | |
| auto | drop (span< A, arity > s) -> std::enable_if_t< offset<=arity, span< A, arity - offset >> |
| template<typename C > | |
| auto | tail (C &s) |
Typedef Documentation
◆ brie_element_type
| using souffle::detail::brie::brie_element_type = typedef RamDomain |
Function Documentation
◆ copy()
template<typename A , size_t arity>
| auto souffle::detail::brie::copy | ( | span< A, arity > | s | ) |
Definition at line 98 of file Brie.h.
References souffle::detail::brie::default_factory< T >::operator()().
Referenced by tinyformat::detail::FormatListN< N >::FormatListN(), souffle::ast::NumericConstant::NumericConstant(), souffle::ast::BinaryConstraint::setBaseOperator(), and souffle::ast::IntrinsicFunctor::setFunction().
Here is the call graph for this function:
◆ drop()
◆ tail()
template<typename C >
| auto souffle::detail::brie::tail | ( | C & | s | ) |
Definition at line 110 of file Brie.h.
References souffle::detail::brie::identity< T >::operator()().
Referenced by souffle::Trie< Dim >::clear(), and souffle::detail::brie::TrieTypes< Dim >::iterator_core::iterator_core().
Here is the call graph for this function:
