X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_refiner%2FnRstatus.mli;h=10a4a8a622a5203f7dce1be998b7c373a64f2571;hb=aff007d80f87128884c96a664bc88aec69107d85;hp=522d7e901b396d373db8b98674ba5eae9f690954;hpb=8bc5bc0e8375a85736f6a5df317d129d5efa8de4;p=helm.git

diff --git a/helm/software/components/ng_refiner/nRstatus.mli b/helm/software/components/ng_refiner/nRstatus.mli
index 522d7e901..10a4a8a62 100644
--- a/helm/software/components/ng_refiner/nRstatus.mli
+++ b/helm/software/components/ng_refiner/nRstatus.mli
@@ -12,10 +12,13 @@
 (* $Id: nCicRefiner.ml 9802 2009-05-25 15:39:26Z tassi $ *)
 
 class status :
- object
-  inherit NCicUnifHint.status
+ object ('self)
   inherit NCicCoercion.status
   inherit NCicLibrary.status
+  method set_rstatus: 
+   < coerc_db : NCicCoercion.db;
+     uhint_db : NCicUnifHint.db;
+     timestamp: NCicLibrary.timestamp; .. > -> 'self
  end
 
 module Serializer:
@@ -29,4 +32,9 @@ class dumpable_status :
   inherit status
   method dump: Serializer.obj list
   method set_dump: Serializer.obj list -> 'self
+  method set_dumpable_status:
+   < coerc_db : NCicCoercion.db;
+     uhint_db : NCicUnifHint.db;
+     timestamp: NCicLibrary.timestamp;
+     dump: Serializer.obj list; .. > -> 'self
  end