marionnet-dev team mailing list archive
-
marionnet-dev team
-
Mailing list archive
-
Message #00040
[Branch ~marionnet-drivers/ocamlbricks/trunk] Rev 156: Changed Cloakroom.remove type from:
------------------------------------------------------------
revno: 156
committer: Jean-Vincent Loddo <loddo@xxxxxxxxxxxxxxxxxxxx>
branch nick: ocamlbricks
timestamp: Mon 2010-06-14 18:31:56 +0200
message:
Changed Cloakroom.remove type from:
remove : t -> id -> unit
to:
remove : t -> id -> bool
This is useful when a set is partitioned into a t-uple of cloakrooms t1,t2,... In this case,
an element can be removed from the good (unknown) subset writing something like this:
(Cloakroom.remove t1 id) || (Cloakroom.remove t2 id) || ...
modified:
STRUCTURES/cloakroom.ml
STRUCTURES/cloakroom.mli
--
lp:ocamlbricks
https://code.launchpad.net/~marionnet-drivers/ocamlbricks/trunk
Your team marionnet-dev is subscribed to branch lp:ocamlbricks.
To unsubscribe from this branch go to https://code.launchpad.net/~marionnet-drivers/ocamlbricks/trunk/+edit-subscription