4.14.4 Tries
AllApplicationManualNameSummaryHelp

  • Documentation
    • Reference manual
      • Built-in Predicates
        • Database
          • Tries
            • trie_new/1
            • trie_destroy/1
            • is_trie/1
            • current_trie/1
            • trie_insert/2
            • trie_insert/3
            • trie_update/3
            • trie_insert/4
            • trie_delete/3
            • trie_lookup/3
            • trie_term/2
            • trie_gen/2
            • trie_gen/3
            • trie_gen_compiled/2
            • trie_gen_compiled/3
            • trie_property/2
    • Packages
Availability:built-in
Source[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.