X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fsrc%2Fcommon%2Fccs.mli;h=4d11ddd7c6a6e497d8052bc701bf03a49f487f9f;hb=cb3e2526b3788172cf4a11e4c0082c12e8d233d0;hp=d94406d7bc2f9fd66fdde7f3263f9c3209994b31;hpb=f7988fc51f7c96617aa2b3320628645480af681a;p=helm.git

diff --git a/helm/software/lambda-delta/src/common/ccs.mli b/helm/software/lambda-delta/src/common/ccs.mli
index d94406d7b..4d11ddd7c 100644
--- a/helm/software/lambda-delta/src/common/ccs.mli
+++ b/helm/software/lambda-delta/src/common/ccs.mli
@@ -11,9 +11,15 @@
 
 type csys = {
            uri: Entity.uri;
-   mutable is : int list
+   mutable tp : int list;
+   mutable t1 : int list;
+   mutable tn : (int * int) list;
 }
 
 val init: unit -> csys
 
-val add_infinite: csys -> Entity.attrs -> unit
+val add_nonzero: csys -> Entity.attrs -> unit
+
+val add_zero: csys -> Entity.attrs -> unit
+
+val add_equal: csys -> Entity.attrs -> Entity.attrs -> unit