Frama-C:
Plug-ins:
Libraries:

Frama-C API - Int

  • deprecated Use Z module instead. You can use OCamlmig (see Frama-C Plugin Development Guide) or integer.mli for migration hints
include module type of Integer with type t = Integer.t
type 'a formatter = Stdlib.Format.formatter -> 'a -> unit
  • deprecated Use Pretty_utils.formatter instead.
type t = Integer.t
  • deprecated Use Z.t 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
  • since 24.0-Chromium
  • deprecated Use Z.to_int instead.
val to_int64_exn : t -> int64
  • since 24.0-Chromium
  • deprecated Use Z.to_int64 instead.
val to_int32_exn : t -> int32
  • 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 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_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.
include Datatype.S_with_collections with type t := t
include Datatype.S with type t := t
include Datatype.S_no_copy with type t := t
include Datatype.Ty with type t := t
val ty : t Type.t
val datatype_name : string

Unique name of the datatype.

val datatype_descr : t Descr.t

Datatype descriptor.

val packed_descr : Structural_descr.pack

Packed version of the descriptor.

val reprs : t list

List of representants of the descriptor.

val equal : t -> t -> bool

Equality: same spec than Stdlib.(=).

val compare : t -> t -> int

Comparison: same spec than Stdlib.compare.

val hash : t -> int

Hash function: same spec than Hashtbl.hash.

val pretty : Stdlib.Format.formatter -> t -> unit

Pretty print each value in an user-friendly way.

val mem_project : (Project_skeleton.t -> bool) -> t -> bool

mem_project f x must return true iff there is a value p of type Project.t in x such that f p returns true.

val copy : t -> t

Deep copy: no possible sharing between x and copy x.

module Set : Datatype.Set with type elt = t
module Map : Datatype.Map with type key = t
module Hashtbl : Datatype.Hashtbl with type key = t
val fold : (t -> 'a -> 'a) -> inf:t -> sup:t -> step:t -> 'a -> 'a
  • deprecated Use Int_interval.fold_int instead