package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module IntDomain0.IntDomLifter

Parameters

module I : S

Signature

type int_t = I.int_t
type t = {
  1. v : I.t;
  2. ikind : CilType.Ikind.t;
}
val equal : t -> t -> Ppx_deriving_runtime.bool
val compare : t -> t -> Ppx_deriving_runtime.int
val hash : t -> int
val ikind : t -> CilType.Ikind.t
val check_ikinds : t -> t -> unit
val lift : (CilType.Ikind.t -> I.t -> I.t) -> t -> t
val lift_logical : (CilType.Ikind.t -> I.t -> I.t) -> t -> t
val lift2 : (CilType.Ikind.t -> I.t -> I.t -> I.t) -> t -> t -> t
val lift2_cmp : (CilType.Ikind.t -> I.t -> I.t -> I.t) -> t -> t -> t
val bot_of : GoblintCil.Cil.ikind -> t
val bot : unit -> 'a
val is_bot : t -> bool
val top_of : GoblintCil.Cil.ikind -> t
val top : unit -> 'a
val is_top : 'a -> 'b
val leq : t -> t -> bool
val join : t -> t -> t
val meet : t -> t -> t
val widen : t -> t -> t
val narrow : t -> t -> t
val show : t -> string
val pretty : unit -> t -> GoblintCil.Pretty.doc
val pretty_diff : unit -> (t * t) -> Lattice.Pretty.doc
val printXml : 'a BatInnerIO.output -> t -> unit
val name : unit -> string
val to_yojson : t -> Yojson.Safe.t
val invariant : GoblintCil.exp -> t -> Invariant.t
val tag : t -> int
val arbitrary : 'a -> 'b
val to_int : t -> I.int_t option
val of_int : GoblintCil.Cil.ikind -> I.int_t -> t
val equal_to : I.int_t -> t -> [ `Eq | `Neq | `Top ]
val to_bool : t -> bool option
val of_bool : GoblintCil.Cil.ikind -> bool -> t
val to_excl_list : t -> (I.int_t list * (int64 * int64)) option
val of_excl_list : GoblintCil.Cil.ikind -> I.int_t list -> t
val is_excl_list : t -> bool
val to_incl_list : t -> I.int_t list option
val of_interval : ?suppress_ovwarn:bool -> GoblintCil.Cil.ikind -> (I.int_t * I.int_t) -> t
val of_congruence : GoblintCil.Cil.ikind -> (I.int_t * I.int_t) -> t
val of_bitfield : GoblintCil.Cil.ikind -> (I.int_t * I.int_t) -> t
val to_bitfield : GoblintCil.Cil.ikind -> t -> I.int_t * I.int_t
val starting : ?suppress_ovwarn:bool -> GoblintCil.Cil.ikind -> I.int_t -> t
val ending : ?suppress_ovwarn:bool -> GoblintCil.Cil.ikind -> I.int_t -> t
val maximal : t -> I.int_t option
val minimal : t -> I.int_t option
val neg : t -> t
val add : t -> t -> t
val sub : t -> t -> t
val mul : t -> t -> t
val div : t -> t -> t
val rem : t -> t -> t
val lt : t -> t -> t
val gt : t -> t -> t
val le : t -> t -> t
val ge : t -> t -> t
val eq : t -> t -> t
val ne : t -> t -> t
val lognot : t -> t
val logand : t -> t -> t
val logor : t -> t -> t
val logxor : t -> t -> t
val shift_left : t -> t -> t
val shift_right : t -> t -> t
val c_lognot : t -> t
val c_logand : t -> t -> t
val c_logor : t -> t -> t
val cast_to : ?suppress_ovwarn:bool -> ?torg:'a -> GoblintCil.Cil.ikind -> t -> t
val is_top_of : CilType.Ikind.t -> t -> bool
val relift : t -> t
val project : PrecisionUtil.int_precision -> t -> t
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct