X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2FfiniteCofinite.ml;h=9963e1fd6869d751569184dc4a43b84772df8c1a;hb=4c6227b270c2efe640654ce2a2151c1cc43ec1a1;hp=2bfe70c63e703721acf98efad34afdb4558d9d95;hpb=b00bff88c7902e828804c06b7f9dc55222fdc84e;p=tatoo.git

diff --git a/src/finiteCofinite.ml b/src/finiteCofinite.ml
index 2bfe70c..9963e1f 100644
--- a/src/finiteCofinite.ml
+++ b/src/finiteCofinite.ml
@@ -13,10 +13,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-(*
-  Time-stamp: <Last modified on 2013-03-05 01:50:21 CET by Kim Nguyen>
-*)
-
 INCLUDE "utils.ml"
 
 include FiniteCofinite_sig
@@ -145,6 +141,14 @@ struct
     | Finite s -> E.fold f s a
     | CoFinite _ -> raise exn
 
+  let fold_left f t a = match t.node with
+    | Finite s -> E.fold_left f s a
+    | CoFinite _ -> raise exn
+
+  let fold_right f t a = match t.node with
+    | Finite s -> E.fold_right f s a
+    | CoFinite _ -> raise exn
+
   let iter f t = match t.node with
     | Finite t -> E.iter f t
     | CoFinite _ -> raise exn
@@ -206,12 +210,12 @@ struct
     | CoFinite _ -> raise exn
 
   let positive t = match t.node with
-      | Finite x -> x
-      | CoFinite _ -> E.empty
+    | Finite x -> x
+    | CoFinite _ -> E.empty
 
   let negative t = match t.node with
-      | CoFinite x -> x
-      | Finite _ -> E.empty
+    | CoFinite x -> x
+    | Finite _ -> E.empty
 
   let inj_positive t = finite t
   let inj_negative t = cofinite t