begin drop drop drop empty end find operator* operator[] set set size trie trie trie

trie() [1/3] template<typename K , typename V , typename Hash = std::hash<K>> halcheck::lib::trie< K, V, Hash >::trie ( ) default Constructs a trie where every node is assigned the same value. Postcondition *trie() == V() trie().drop(r) == trie()