Frama-C:
Plug-ins:
Libraries:

Frama-C API - Int_Base

  • deprecated Use Z_or_top instead
type i = Z_or_top.t
  • deprecated Use Z_or_top.t instead
type t = Z_or_top.t
  • deprecated Use Z_or_top.t instead
  • deprecated Use Z_or_top.ty instead
val datatype_name : string
  • deprecated Use Z_or_top.datatype_name instead
val datatype_descr : Z_or_top.t Fclib.Descr.t
  • deprecated Use Z_or_top.datatype_descr instead
val packed_descr : Fclib.Structural_descr.pack
  • deprecated Use Z_or_top.packed_descr instead
val reprs : Z_or_top.t list
  • deprecated Use Z_or_top.reprs instead
val equal : Z_or_top.t -> Z_or_top.t -> bool
  • deprecated Use Z_or_top.equal instead
val compare : Z_or_top.t -> Z_or_top.t -> int
  • deprecated Use Z_or_top.compare instead
val hash : Z_or_top.t -> int
  • deprecated Use Z_or_top.hash instead
val pretty : Stdlib.Format.formatter -> Z_or_top.t -> unit
  • deprecated Use Z_or_top.pretty instead
val mem_project : (Fclib.Project_skeleton.t -> bool) -> Z_or_top.t -> bool
  • deprecated Use Z_or_top.mem_project instead
val copy : Z_or_top.t -> Z_or_top.t
  • deprecated Use Z_or_top.copy instead
val zero : Z_or_top.t
  • deprecated Use `Value Z.zero instead
val one : Z_or_top.t
  • deprecated Use `Value Z.one instead
val minus_one : Z_or_top.t
  • deprecated Use `Value Z.minus_one instead
val top : Z_or_top.t
  • deprecated Use Z_or_top.top instead
val neg : Z_or_top.t -> Z_or_top.t
  • deprecated Lattice_bounds.Top.map Z.neg instead
val is_zero : Z_or_top.t -> bool
  • deprecated Use Z_or_top.is_zero instead
val is_top : Z_or_top.t -> bool
  • deprecated Use Z_or_top.is_top instead
val inject : Fclib.Z.t -> Z_or_top.t
  • deprecated Use `Value z instead
val project : Z_or_top.t -> Fclib.Z.t
  • raises Error_Top

    if the argument is Top.

  • deprecated Use Z_or_top.project instead
val cardinal_zero_or_one : Z_or_top.t -> bool
  • deprecated Use not Z_or_top.is_top instead