Availability:built-in
[nondet]trie_property(?Trie,
?Property)True if Trie exists with Property. Intended for
debugging and statistical purposes. Retrieving some of these properties
visit all nodes of the trie. Defined properties are
- value_count(-Count)
- Number of key-value pairs in the trie.
- node_count(-Count)
- Number of nodes in the trie.
- size(-Bytes)
- Required storage space of the trie.
- hashed(-Count)
- Number of nodes that use a hashed index to its children.