souffle
2.0.2-371-g6315b36
|
#include <Brie.h>
Data Structures | |
struct | iterator_core |
struct | nested_trie_cloner |
struct | nested_trie_merger |
struct | op_context |
Public Types | |
using | const_entry_span_type = span< const brie_element_type, Dim > |
using | entry_span_type = span< brie_element_type, Dim > |
using | entry_type = std::array< brie_element_type, Dim > |
using | iterator = TrieIterator< entry_type, iterator_core > |
using | nested_trie_type = Trie< Dim - 1 > |
using | store_type = SparseArray< nested_trie_type *, 6, nested_trie_merger, nested_trie_cloner > |
using souffle::detail::brie::TrieTypes< Dim >::const_entry_span_type = span<const brie_element_type, Dim> |
using souffle::detail::brie::TrieTypes< Dim >::entry_span_type = span<brie_element_type, Dim> |
using souffle::detail::brie::TrieTypes< Dim >::entry_type = std::array<brie_element_type, Dim> |
using souffle::detail::brie::TrieTypes< Dim >::iterator = TrieIterator<entry_type, iterator_core> |
using souffle::detail::brie::TrieTypes< Dim >::nested_trie_type = Trie<Dim - 1> |
using souffle::detail::brie::TrieTypes< Dim >::store_type = SparseArray<nested_trie_type*, 6, nested_trie_merger, nested_trie_cloner> |