Module Ival.Float_abstract


module Float_abstract: sig .. end

type t 
type integer = Abstract_interp.Int.t 
exception Nan_or_infinite
exception Bottom
val inject : Ival.F.t -> Ival.F.t -> t
val top : t
val add_float : t -> t -> t
val sub_float : t -> t -> t
val mult_float : t -> t -> t
val div_float : t -> t -> t
val contains_zero : t -> bool
val compare : t -> t -> int
val pretty : Format.formatter -> t -> unit
val hash : 'a * 'b -> int
val zero : t
val rounding_inject : Ival.F.t -> Ival.F.t -> t
val is_included : t -> t -> bool
val join : t -> t -> t
val meet : t -> t -> t
val contains_a_zero : t -> bool
val is_zero : t -> bool
val is_singleton : t -> bool
val neg_float : t -> t
val sqrt_float : t -> t
val minus_one_one : t
val cos_float : t -> t
val widen : t -> t -> t
val equal_float_ieee : t -> t -> bool * bool
val maybe_le_ieee_float : t -> t -> bool
val maybe_lt_ieee_float : t -> t -> bool
val diff : t -> t -> t
val filter_le : t -> t -> t
val filter_ge : t -> t -> t
val filter_lt : t -> t -> t
val filter_gt : t -> t -> t