Commit 01d3b15e authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2002-11-01 22:06:20 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-01 22:06:20+00:00
parent f64f0b84
......@@ -588,7 +588,13 @@ This version explodes when dealing with
in
List.fold_left line [] d
(* Partitioning *)
(* Partitioning:
(t,s) - ((t1,s1) | (t2,s2) | ... | (tn,sn))
=
(t & t1, s - s1) | ... | (t & tn, s - sn) | (t - (t1|...|tn), s)
*)
let get_aux d =
let accu = ref [] in
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment