last commit for helena 0.8.1

[helm.git] / helm / software / lambda-delta / src / common / ccs.mli

diff --git a/helm/software/lambda-delta/src/common/ccs.mli b/helm/software/lambda-delta/src/common/ccs.mli
index d94406d7bc2f9fd66fdde7f3263f9c3209994b31..4d11ddd7c6a6e497d8052bc701bf03a49f487f9f 100644 (file)
--- 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