Module Cfloat

module Cfloat: sig .. end
Floatting Arithmetic Model

type model = 
| Real
| Float
val configure : model -> unit
val code_lit : float -> Lang.F.term
val acsl_lit : Cil_types.logic_real -> Lang.F.term
val real_of_int : Lang.F.unop
val float_of_int : Ctypes.c_float -> Lang.F.unop
val fconvert : Ctypes.c_float -> Lang.F.unop
val frange : Ctypes.c_float -> Lang.F.term -> Lang.F.pred
val fopp : Ctypes.c_float -> Lang.F.unop
val fadd : Ctypes.c_float -> Lang.F.binop
val fsub : Ctypes.c_float -> Lang.F.binop
val fmul : Ctypes.c_float -> Lang.F.binop
val fdiv : Ctypes.c_float -> Lang.F.binop
val f_iabs : Lang.lfun
val f_rabs : Lang.lfun
val f_sqrt : Lang.lfun
val f_model : Lang.lfun
val f_delta : Lang.lfun
val f_epsilon : Lang.lfun
val flt_rnd : Ctypes.c_float -> Lang.lfun
val flt_add : Ctypes.c_float -> Lang.lfun
val flt_mul : Ctypes.c_float -> Lang.lfun
val flt_div : Ctypes.c_float -> Lang.lfun
val flt_sqrt : Ctypes.c_float -> Lang.lfun