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.
- compiled_size(-Bytes)
- Required storage space for the compiled representation as used by trie_gen_compiled/2,3.
- hashed(-Count)
- Number of nodes that use a hashed index to its children.
- lookup_count(-Count)
- Number of trie_lookup/3
calls (only when compiled with
O_TRIE_STATS
).
- gen_call_count(-Count)
- Number of trie_gen/3
calls (only when compiled with
O_TRIE_STATS
).
- wait(-Count)
- Number of times a thread waited on this trie for another thread to
complete it (shared tabling, only when compiled with
O_TRIE_STATS
).
- deadlock(-Count)
- Number of times this trie was part of a deadlock and its completion was
abandoned (shared tabling, only when compiled with
O_TRIE_STATS
).
In addition, a number of additional properties are defined on
answer tries.
- invalidated(-Count)
- Number of times the trie was invalidated (incremental tabling).
- reevaluated(-Count)
- Number of times the trie was re-evaluated (incremental tabling).
- idg_affected_count(-Count)
- Number of answer tries affected by this one (incremental tabling).
- idg_dependent_count(-Count)
- Number of answer tries this one depends on (incremental tabling).
- idg_size(-Bytes)
- Number of bytes in the IDG node representation.