Source file `coeffext.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
open Apron
module S = Scalarext
include Coeff

let one = s_of_int 1
let minus_one = s_of_int (-1)

let to_float = function
  | Coeff.Scalar x -> S.to_float x
  | Coeff.Interval _ -> invalid_arg "cant convert a coeff.interval to float"

let to_mpqf = function
  | Coeff.Scalar x -> S.to_mpqf x
  | Coeff.Interval _ -> invalid_arg "cant convert a coeff.interval to mpqf"

let to_int x = to_float x |> int_of_float