added retrieval function with weight

[helm.git] / matita / components / extlib / discrimination_tree.mli

diff --git a/matita/components/extlib/discrimination_tree.mli b/matita/components/extlib/discrimination_tree.mli
index 4c8339e5e881fa7899607ef9dca7dd9a40d84630..95e33d6ad43f0669354f0c53d8660afb381ce24b 100644 (file)
--- a/matita/components/extlib/discrimination_tree.mli
+++ b/matita/components/extlib/discrimination_tree.mli
@@ -63,6 +63,8 @@ module type DiscriminationTree  =
       val in_index : t -> input -> (data -> bool) -> bool
       val retrieve_generalizations : t -> input -> dataset
       val retrieve_unifiables : t -> input -> dataset
+      val retrieve_generalizations_sorted : t -> input -> (data * int) list
+      val retrieve_unifiables_sorted : t -> input -> (data * int) list
     end