module Numerors_value:sig
..end
include Abstract_value.Leaf
val pretty_debug : t Pretty_utils.formatter
val reduce : Fval.t -> t -> t Eval.or_bottom
Reduction of an error value according to a floating-point interval.
val set_absolute_to_top : t -> t
val set_relative_to_top : t -> t
val dbetween : t -> t -> t Eval.or_bottom
Returns the abstraction corresponding to the join of the approximation of the inputs. The real is set to the same abstraction and the errors are set to zero.
val rbetween : t -> t -> t Eval.or_bottom
Returns the abstraction corresponding to the join of the approximation of the inputs. The real is set to the same abstraction but for this function, we consider that the approximation is generated by rounding the exact and so the errors are set to the maximal error bounds for the real abstration.
val of_ints : prec:Numerors_utils.Precisions.t -> int -> int -> t
val sqrt : t -> t Eval.or_bottom
val log : t -> t Eval.or_bottom
val exp : t -> t Eval.or_bottom
val get_max_absolute_error : t -> Numerors_float.t option
val get_max_relative_error : t -> Numerors_float.t option