2007-05-02 15:23:00 +00:00
|
|
|
/****************************************
|
|
|
|
|
File: tries.yap
|
|
|
|
|
Author: Ricardo Rocha
|
|
|
|
|
Comments: Tries module for Yap Prolog
|
|
|
|
|
version: $ID$
|
|
|
|
|
****************************************/
|
2002-12-12 20:47:36 +00:00
|
|
|
|
|
|
|
|
:- module(tries, [
|
2007-05-02 15:23:00 +00:00
|
|
|
trie_open/1,
|
|
|
|
|
trie_close/1,
|
|
|
|
|
trie_close_all/0,
|
2008-06-03 22:43:14 +00:00
|
|
|
trie_empty/1,
|
2007-05-02 15:23:00 +00:00
|
|
|
trie_mode/1,
|
|
|
|
|
trie_put_entry/3,
|
|
|
|
|
trie_check_entry/3,
|
|
|
|
|
trie_get_entry/2,
|
2009-11-27 19:10:36 +00:00
|
|
|
trie_get_first_entry/2,
|
|
|
|
|
trie_get_last_entry/2,
|
2008-02-22 18:47:24 +00:00
|
|
|
trie_traverse/2,
|
2009-11-27 19:10:36 +00:00
|
|
|
trie_traverse/3,
|
2007-05-02 15:23:00 +00:00
|
|
|
trie_remove_entry/1,
|
|
|
|
|
trie_remove_subtree/1,
|
2008-02-11 17:00:23 +00:00
|
|
|
trie_join/2,
|
|
|
|
|
trie_intersect/2,
|
|
|
|
|
trie_count_join/3,
|
|
|
|
|
trie_count_intersect/3,
|
2008-06-03 22:43:14 +00:00
|
|
|
trie_dup/2,
|
2007-05-02 15:23:00 +00:00
|
|
|
trie_save/2,
|
|
|
|
|
trie_load/2,
|
|
|
|
|
trie_stats/4,
|
|
|
|
|
trie_max_stats/4,
|
|
|
|
|
trie_usage/4,
|
|
|
|
|
trie_print/1,
|
2002-12-12 20:47:36 +00:00
|
|
|
open_trie/1,
|
|
|
|
|
close_trie/1,
|
|
|
|
|
close_all_tries/0,
|
2007-05-02 15:23:00 +00:00
|
|
|
put_trie_entry/4,
|
|
|
|
|
get_trie_entry/3,
|
2002-12-12 20:47:36 +00:00
|
|
|
remove_trie_entry/1,
|
2010-07-19 11:29:13 +01:00
|
|
|
print_trie/1,
|
|
|
|
|
trie_traverse_mode/1,
|
|
|
|
|
trie_disable_hash/0,
|
|
|
|
|
trie_enable_hash/0,
|
|
|
|
|
trie_traverse_first/2,
|
|
|
|
|
trie_traverse_next/2,
|
|
|
|
|
trie_to_list/2,
|
|
|
|
|
trie_to_depth_breadth_trie/4,
|
|
|
|
|
trie_to_depth_breadth_trie/6,
|
|
|
|
|
trie_get_depth_breadth_reduction_entry/1,
|
|
|
|
|
trie_get_depth_breadth_reduction_opt_level_count/2,
|
|
|
|
|
trie_replace_nested_trie/3
|
2002-12-12 20:47:36 +00:00
|
|
|
]).
|
|
|
|
|
|
2007-05-02 15:23:00 +00:00
|
|
|
:- load_foreign_files([tries], [], init_tries).
|
2008-06-03 22:43:14 +00:00
|
|
|
|
|
|
|
|
trie_empty(Trie) :-
|
|
|
|
|
trie_usage(Trie, 0, 0, _).
|
|
|
|
|
|
|
|
|
|
trie_dup(Trie, CopyTrie) :-
|
|
|
|
|
trie_open(CopyTrie),
|
|
|
|
|
trie_join(CopyTrie, Trie).
|
|
|
|
|
|
2009-11-27 19:10:36 +00:00
|
|
|
trie_traverse(Trie, Ref) :-
|
2010-02-24 18:03:43 +00:00
|
|
|
trie_traverse(Trie, 0, Ref).
|
2010-07-19 11:29:13 +01:00
|
|
|
|
|
|
|
|
trie_to_depth_breadth_trie(Trie, DepthBreadthTrie, FinalLabel, OptimizationLevel) :-
|
|
|
|
|
integer(OptimizationLevel),
|
|
|
|
|
trie_dup(Trie, CopyTrie),
|
|
|
|
|
trie_open(DepthBreadthTrie),
|
|
|
|
|
trie_depth_breadth(CopyTrie, DepthBreadthTrie, FinalLabel, OptimizationLevel, 0, _),
|
|
|
|
|
trie_close(CopyTrie).
|
|
|
|
|
|
|
|
|
|
trie_to_depth_breadth_trie(Trie, DepthBreadthTrie, FinalLabel, OptimizationLevel, StartCounter, EndCounter) :-
|
|
|
|
|
trie_depth_breadth(Trie, DepthBreadthTrie, FinalLabel, OptimizationLevel, StartCounter, EndCounter).
|
