1
(***********************************************************************)
4
(* A Functional Constraint Library *)
6
(* Nicolas Barnier, Pascal Brisset, LOG, CENA *)
8
(* Copyright 2004 CENA. All rights reserved. This file is distributed *)
9
(* under the terms of the GNU Lesser General Public License. *)
10
(***********************************************************************)
11
(* $Id: fcl_float.mli,v 1.3 2003/06/11 14:43:58 barnier Exp $ *)
16
val fprint_elt : out_channel -> float -> unit
17
val fprint : out_channel -> t -> unit
21
val min_max : t -> float * float
22
val mem : float -> t -> bool
23
val interval : float -> float -> t
24
val included : t -> t -> bool
25
val strictly_inf : elt -> elt -> bool
26
val compare_elt : elt -> elt -> int
27
val zero : elt -> bool
28
val remove_low : elt -> t -> t
29
val remove_up : elt -> t -> t