projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Supprimer des fonctions 'keep_elements' et 'keep_attributs'
[tatoo.git]
/
src
/
finiteCofinite.ml
diff --git
a/src/finiteCofinite.ml
b/src/finiteCofinite.ml
index
2bfe70c
..
9963e1f
100644
(file)
--- 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
INCLUDE "utils.ml"
include FiniteCofinite_sig
@@
-145,6
+141,14
@@
struct
| Finite s -> E.fold f s a
| CoFinite _ -> raise exn
| 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
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
| 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
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
let inj_positive t = finite t
let inj_negative t = cofinite t