X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fmetadata%2FmetadataDeps.mli;h=12b502cd0067dc691998dec2662916c5301c67d7;hb=bca340f9c590e6530f8346fddd61c9fa0ae7f411;hp=ee0954d059e0b61fcc4696f483dad64ad09afed3;hpb=c74f1dccc79f51f860a5b4e7ef67762823174d50;p=helm.git

diff --git a/helm/software/components/metadata/metadataDeps.mli b/helm/software/components/metadata/metadataDeps.mli
index ee0954d05..12b502cd0 100644
--- a/helm/software/components/metadata/metadataDeps.mli
+++ b/helm/software/components/metadata/metadataDeps.mli
@@ -26,15 +26,21 @@
   (** @return the one step direct dependencies of an object, specified by URI
    * (that is, the list of objects on which an given one depends) *)
 val direct_deps:
-  dbd:HMysql.dbd ->
+  dbd:HSql.dbd ->
   UriManager.uri -> (UriManager.uri * MetadataTypes.position) list
 
   (** @return the one step inverse dependencies of an objects, specified by URI
    * (that is, the list of objects which depends on a given object) *)
 val inverse_deps:
-  dbd:HMysql.dbd ->
+  dbd:HSql.dbd ->
   UriManager.uri -> (UriManager.uri * MetadataTypes.position) list
 
+val topological_sort:
+  dbd:HSql.dbd -> UriManager.uri list -> UriManager.uri list
+
+val sorted_uris_of_baseuri:
+   dbd:HSql.dbd -> string -> UriManager.uri list
+
   (** Representation of a (lazy) dependency graph.
    * Imperative data structure. *)
 module DepGraph:
@@ -48,9 +54,9 @@ sig
   val render: Format.formatter -> t -> unit
 
     (** @return the transitive closure of direct_deps *)
-  val direct_deps: dbd:HMysql.dbd -> UriManager.uri -> t
+  val direct_deps: dbd:HSql.dbd -> UriManager.uri -> t
 
     (** @return the transitive closure of inverse_deps *)
-  val inverse_deps: dbd:HMysql.dbd -> UriManager.uri -> t
+  val inverse_deps: dbd:HSql.dbd -> UriManager.uri -> t
 end