diff options
Diffstat (limited to 'ocamlbuild/bool.mli')
| -rw-r--r-- | ocamlbuild/bool.mli | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/ocamlbuild/bool.mli b/ocamlbuild/bool.mli new file mode 100644 index 000000000..4b3ea3f66 --- /dev/null +++ b/ocamlbuild/bool.mli @@ -0,0 +1,34 @@ +(***********************************************************************) +(* ocamlbuild *) +(* *) +(* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) +(* *) +(* Copyright 2007 Institut National de Recherche en Informatique et *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) +(* *) +(***********************************************************************) + +(* $Id$ *) +(* Original author: Berke Durak *) +(* Bool *) + +(** Provides a datatype for representing boolean formulas and evaluation, + iteration and map functions. *) + +(** Public type for generic boolean formulas. An empty conjunction [And[]] is true and + an empty disjunction [Or[]] is false. *) +type 'a boolean = + And of 'a boolean list + | Or of 'a boolean list + | Not of 'a boolean + | Atom of 'a + | True + | False + +val eval : ('a -> bool) -> 'a boolean -> bool +(** [eval g f] evaluates the boolean formula [f] using the values returned by [g] for the atoms. *) +val iter : ('a -> unit) -> 'a boolean -> unit +(** [iter g f] calls [g] over every atom of [f]. *) +val map : ('a -> 'b) -> 'a boolean -> 'b boolean +(** [map g f] replaces every atom of [f] by its image by [g]. *) |