X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_library%2FnCicLibrary.mli;h=03b84439711b872d317aa295c04fd6880f7570f6;hb=5439626efe5ed3aa4b6ac01f2116a6a8ab6a3f92;hp=ea1cfd4e523cc008de445256b1c9866156d20128;hpb=ec07ff398325533d848da92e9dc69852d24b78a5;p=helm.git

diff --git a/helm/software/components/ng_library/nCicLibrary.mli b/helm/software/components/ng_library/nCicLibrary.mli
index ea1cfd4e5..03b844397 100644
--- a/helm/software/components/ng_library/nCicLibrary.mli
+++ b/helm/software/components/ng_library/nCicLibrary.mli
@@ -14,6 +14,19 @@
 exception LibraryOutOfSync of string Lazy.t
 
 type automation_cache = NDiscriminationTree.DiscriminationTree.t
+type unit_eq_cache = NCicParamod.state
+
+class type g_eq_status =
+ object
+   method eq_cache : unit_eq_cache 
+ end
+
+class eq_status :
+ object('self)
+  inherit g_eq_status
+  method set_eq_cache: unit_eq_cache -> 'self
+  method set_eq_status: #g_eq_status -> 'self
+ end
 
 class type g_auto_status =
  object
@@ -64,6 +77,7 @@ class type g_dumpable_status =
  object
   inherit g_status
   inherit g_auto_status
+  inherit g_eq_status
   method dump: obj list
  end
   
@@ -71,6 +85,7 @@ class dumpable_status :
  object ('self)
   inherit status
   inherit auto_status
+  inherit eq_status
   inherit g_dumpable_status
   method set_dump: obj list -> 'self
   method set_dumpable_status: #g_dumpable_status -> 'self