22 template <
class SymbolType,
class ValueType >
33 template <
class SymbolType,
class ValueType >
45 template <
class SymbolType >
48 template <
class SymbolType >
51 template <
class SymbolType >
54 template <
class SymbolType >
59template <
class SymbolType >
61 return normalizeTrieInner ( std::move ( trie ) ) ;
64template <
class SymbolType >
66 return normalizeTrieInner ( std::move ( trie ) ) ;
69template <
class SymbolType >
71 return normalizeRankedTrieInner ( std::move ( trie ) ) ;
74template <
class SymbolType >
76 return normalizeRankedTrieInner ( std::move ( trie ) ) ;
static common::ranked_symbol< DefaultSymbolType > normalizeRankedSymbol(common::ranked_symbol< SymbolType > &&symbol)
Definition: SymbolNormalize.h:81
static DefaultSymbolType normalizeSymbol(SymbolType &&symbol)
Definition: SymbolNormalize.h:68
Definition: ranked_symbol.hpp:20
Class extending the map class from the standard library. Original reason is to allow printing of the ...
Definition: map.hpp:48
std::pair< iterator, bool > insert(const T &key, const R &value)
Insert variant with explicit key and value parameters.
Definition: map.hpp:118
Class introducing a trie with interface trying to be close to the interface of standard library conta...
Definition: trie.hpp:47
Definition: IndexesNormalize.h:21
static ext::trie< DefaultSymbolType, unsigned > normalizeTrie(ext::trie< SymbolType, unsigned > &&trie)
Definition: IndexesNormalize.h:60
static ext::trie< common::ranked_symbol< DefaultSymbolType >, unsigned > normalizeRankedTrie(ext::trie< common::ranked_symbol< SymbolType >, unsigned > &&trie)
Definition: IndexesNormalize.h:70
typename T::SymbolType SymbolType
Definition: ReachableStates.h:176
reference_mover< T > make_mover(T ¶m)
Move adaptor construction function specialized to lvalue reference parameter.
Definition: iterator.hpp:468
constexpr auto make_pair(T1 &&x, T2 &&y)
Definition: pair.hpp:79
Definition: CompressedBitParallelTreeIndex.h:40