Frama-C API - `Integer`

This module is deprecated, use Z instead. Extension of Zarith module Z.

since Nitrogen-20111001

type 'a formatter = Stdlib.Format.formatter -> 'a -> unit

deprecated Use Pretty_utils.formatter instead.

type t = Z.t

deprecated Use Z.t instead.

val equal : t -> t -> bool

deprecated Use Z.equal instead.

val compare : t -> t -> int

deprecated Use Z.compare instead.

val le : t -> t -> bool

deprecated Use Z.leq instead.

val ge : t -> t -> bool

deprecated Use Z.geq instead.

val lt : t -> t -> bool

deprecated Use Z.leq instead.

val gt : t -> t -> bool

deprecated Use Z.gt instead.

val add : t -> t -> t

deprecated Use Z.add instead.

val sub : t -> t -> t

deprecated Use Z.sub instead.

val mul : t -> t -> t

deprecated Use Z.mul instead.

val shift_left : t -> t -> t

deprecated Use Z.shift_left_z instead.

val shift_right : t -> t -> t

deprecated Use Z.shift_right_z instead.

val shift_right_logical : t -> t -> t

deprecated Use Z.shift_right_logical instead.

val logand : t -> t -> t

deprecated Use Z.logand instead.

val logor : t -> t -> t

deprecated Use Z.logor instead.

val logxor : t -> t -> t

deprecated Use Z.logxor instead.

val lognot : t -> t

deprecated Use Z.lognot instead.

val min : t -> t -> t

deprecated Use Z.min instead.

val e_div : t -> t -> t

deprecated Use Z.ediv instead.

val e_rem : t -> t -> t

Remainder of the Euclidean division (always positive). Implemented by Z.erem

deprecated Use Z.erem instead.

val e_div_rem : t -> t -> t * t

deprecated Use Z.ediv_rem instead.

val c_div : t -> t -> t

Truncated division towards 0 (like in C99). Implemented by Z.div

deprecated Use Z.div instead.

val c_rem : t -> t -> t

Remainder of the truncated division towards 0 (like in C99). Implemented by Z.rem

deprecated Use Z.rem instead.

val c_div_rem : t -> t -> t * t

c_div_rem a b returns (c_div a b, c_rem a b). Implemented by Z.div_rem

deprecated Use Z.div_rem instead.

val pgcd : t -> t -> t

pgcd v 0 == pgcd 0 v == abs v. Result is always positive

deprecated Use Z.gcd instead.

val ppcm : t -> t -> t

ppcm v 0 == ppcm 0 v == 0. Result is always positive

deprecated Use Z.lcm instead.

val cast : size:t -> signed:bool -> value:t -> t

deprecated Use Z.cast instead.

val abs : t -> t

deprecated Use Z.abs instead.

val neg : t -> t

deprecated Use Z.neg instead.

val succ : t -> t

deprecated Use Z.succ instead.

val pred : t -> t

deprecated Use Z.pred instead.

val is_zero : t -> bool

deprecated Use Z.is_zero instead.

val is_one : t -> bool

deprecated Use Z.is_one instead.

val is_even : t -> bool

deprecated Use Z.is_even instead.

val zero : t

deprecated Use Z.zero instead.

val one : t

deprecated Use Z.one instead.

val two : t

deprecated Use Z.of_int 2 or ppx_z_literals '2z'.

val four : t

deprecated Use Z.of_int 4 or ppx_z_literals '4z'.

val eight : t

deprecated Use Z.of_int 8 or ppx_z_literals '8z'.

val sixteen : t

deprecated Use Z.of_int 16 or ppx_z_literals '16z'.

val thirtytwo : t

deprecated Use Z.of_int 32 or ppx_z_literals '32z'.

val onethousand : t

deprecated Use Z.of_int 1000 or ppx_z_literals '1000z'.

val billion_one : t

deprecated Use Z.of_int 1_000_000_001 or ppx_z_literals '1_000_000_001_z'.

val minus_one : t

deprecated Use Z.minus_one instead.

val max_int64 : t

deprecated Use Z.of_int64 Int64.max_int instead.

val min_int64 : t

deprecated Use Z.of_int64 Int64.min_int instead.

val two_power_32 : t

deprecated Use Z.two_power_of_int 32 instead.

val two_power_64 : t

deprecated Use Z.two_power_of_int 64 instead.

val length : t -> t -> t

deprecated Use Z.length instead.

val of_int : int -> t

deprecated Use Z.of_int instead.

val of_int64 : Stdlib.Int64.t -> t

deprecated Use Z.of_int64 instead.

val of_int32 : Stdlib.Int32.t -> t

deprecated Use Z.of_int32 instead.

val to_int_exn : t -> int

raises Z.Overflow
if too big

since 24.0-Chromium

deprecated Use Z.to_int instead.

val to_int64_exn : t -> int64

raises Z.Overflow
if too big

since 24.0-Chromium

deprecated Use Z.to_int64 instead.

val to_int32_exn : t -> int32

raises Z.Overflow
if too big

since 24.0-Chromium

deprecated Use Z.to_int32 instead.

val to_int_opt : t -> int option

Returns Some i if the number can be converted to an int, or None otherwise.

since 24.0-Chromium

deprecated Use Z.to_int_opt instead.

val to_int64_opt : t -> int64 option

Returns Some i if the number can be converted to an int64, or None otherwise.

since 24.0-Chromium

deprecated Use Z.to_int64_opt instead.

val to_int32_opt : t -> int32 option

Returns Some i if the number can be converted to an int32, or None otherwise.

since 24.0-Chromium

deprecated Use Z.to_int32_opt instead.

val to_float : t -> float

deprecated Use Z.to_float instead.

val of_float : float -> t

deprecated Use Z.of_float instead.

val round_up_to_r : min:t -> r:t -> modu:t -> t

deprecated Use Z.round_up_to_r instead.

val round_down_to_r : max:t -> r:t -> modu:t -> t

deprecated Use Z.round_down_to_r instead.

val two_power : t -> t

deprecated Use Z.two_power instead.

val two_power_of_int : int -> t

deprecated Use Z.two_power_of_int instead.

val power_int_positive_int_opt : int -> int -> t option

deprecated Use Big_int_Z.power_int_positive_int instead.

val extract_bits : start:t -> stop:t -> t -> t

deprecated Use Z.extract_bits instead.

val popcount : t -> int

deprecated Use Z.popcount instead.

val hash : t -> int

deprecated Use Z.hash instead.

val to_string : t -> string

deprecated Use Z.to_string instead.

val of_string : string -> t

deprecated Use Z.of_string instead.

raises Invalid_argument
when the string cannot be parsed.

val pretty : t Pretty_utils.formatter

Prints the integer in decimal format. See also pretty_hex.

before 25.0-Manganese
there was an optional hexa argument.

deprecated Use Z.pretty instead.

val pretty_hex : t Pretty_utils.formatter

Prints the integer in hexadecimal format (replaces hexa optional argument of pretty from older versions).

since 25.0-Manganese

deprecated Use Z.pretty_hex instead.

val pp_bin : ?nbits:int -> ?sep:string -> t Pretty_utils.formatter

deprecated Use Z.pp_bin instead.

val pp_hex : ?nbits:int -> ?sep:string -> t Pretty_utils.formatter

deprecated Use Z.pp_hex instead.

Frama-C API - Integer

Frama-C API - `Integer`