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
[nondet]trie_gen(+Trie, ?Key, -Value)
True when Key is associated with Value in Trie. Backtracking retrieves all pairs. Currently scans the entire trie, even if Key is partly known. Currently unsafe if Trie is modified while the values are being enumerated. See also trie_gen_compiled/3.