X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fcomponents%2Fcic%2FcicUniv.mli;h=fd501df8c47c4adfa320d90151ebc07b47c89e74;hb=18d8d7128c16b5d4dd589d75a2e7c026ac7d405d;hp=7a4331905b50ea95689302c90135011e5649ec5d;hpb=1c95887fc7af68023b8b682a34816d8fb4d0a716;p=helm.git

diff --git a/helm/software/components/cic/cicUniv.mli b/helm/software/components/cic/cicUniv.mli
index 7a4331905..fd501df8c 100644
--- a/helm/software/components/cic/cicUniv.mli
+++ b/helm/software/components/cic/cicUniv.mli
@@ -72,6 +72,9 @@ val add_ge:
 val add_gt: 
   ?fast:bool -> universe -> universe -> universe_graph -> universe_graph
 
+val do_rank: universe_graph -> unit
+val get_rank: universe -> int
+
 (*
   debug function to print the graph to standard error
 *)
@@ -155,3 +158,4 @@ val eq: universe -> universe -> bool
 val get_spent_time: unit -> float
 val reset_spent_time: unit -> unit
 
+val is_anon: universe -> bool