package goblint

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

Module IntDomTupleImpl.I1

val equal : t -> t -> bool
val hash : t -> int
val compare : t -> t -> int
val show : t -> string
val pretty : unit -> t -> Printable.Pretty.doc
val printXml : 'a BatInnerIO.output -> t -> unit
val name : unit -> string
val to_yojson : t -> Yojson.Safe.t
val tag : t -> int
val relift : t -> t
val leq : t -> t -> bool
val pretty_diff : unit -> (t * t) -> Lattice.Pretty.doc
val bot : unit -> t
val is_bot : t -> bool
val bot_of : GoblintCil.Cil.ikind -> t
val top_of : GoblintCil.Cil.ikind -> t
val to_int : t -> int_t option
val equal_to : int_t -> t -> [ `Eq | `Neq | `Top ]
val to_bool : t -> bool option
val to_excl_list : t -> (int_t list * (int64 * int64)) option
val of_excl_list : GoblintCil.Cil.ikind -> int_t list -> t
val is_excl_list : t -> bool
val to_incl_list : t -> int_t list option
val maximal : t -> int_t option
val minimal : t -> int_t option
val rem : GoblintCil.Cil.ikind -> t -> t -> t
val lt : GoblintCil.Cil.ikind -> t -> t -> t
val gt : GoblintCil.Cil.ikind -> t -> t -> t
val le : GoblintCil.Cil.ikind -> t -> t -> t
val ge : GoblintCil.Cil.ikind -> t -> t -> t
val eq : GoblintCil.Cil.ikind -> t -> t -> t
val ne : GoblintCil.Cil.ikind -> t -> t -> t
val lognot : GoblintCil.Cil.ikind -> t -> t
val logand : GoblintCil.Cil.ikind -> t -> t -> t
val logor : GoblintCil.Cil.ikind -> t -> t -> t
val logxor : GoblintCil.Cil.ikind -> t -> t -> t
val c_lognot : GoblintCil.Cil.ikind -> t -> t
val c_logand : GoblintCil.Cil.ikind -> t -> t -> t
val c_logor : GoblintCil.Cil.ikind -> t -> t -> t
val join : GoblintCil.Cil.ikind -> t -> t -> t
val meet : GoblintCil.Cil.ikind -> t -> t -> t
val narrow : GoblintCil.Cil.ikind -> t -> t -> t
val widen : GoblintCil.Cil.ikind -> t -> t -> t
val of_bool : GoblintCil.Cil.ikind -> bool -> t
val of_congruence : GoblintCil.Cil.ikind -> (int_t * int_t) -> t
val of_bitfield : GoblintCil.Cil.ikind -> (int_t * int_t) -> t
val to_bitfield : GoblintCil.Cil.ikind -> t -> int_t * int_t
val is_top_of : GoblintCil.Cil.ikind -> t -> bool
val invariant_ikind : GoblintCil.Cil.exp -> GoblintCil.Cil.ikind -> t -> Invariant.t
val refine_with_congruence : GoblintCil.Cil.ikind -> t -> (int_t * int_t) option -> t
val refine_with_bitfield : GoblintCil.Cil.ikind -> t -> (int_t * int_t) -> t
val refine_with_interval : GoblintCil.Cil.ikind -> t -> (int_t * int_t) option -> t
val refine_with_excl_list : GoblintCil.Cil.ikind -> t -> (int_t list * (int64 * int64)) option -> t
val refine_with_incl_list : GoblintCil.Cil.ikind -> t -> int_t list option -> t
val project : GoblintCil.Cil.ikind -> PrecisionUtil.int_precision -> t -> t
val arbitrary : GoblintCil.Cil.ikind -> t QCheck.arbitrary
val add : ?no_ov:bool -> GoblintCil.Cil.ikind -> t -> t -> t * IntDomain_intf.overflow_info
val sub : ?no_ov:bool -> GoblintCil.Cil.ikind -> t -> t -> t * IntDomain_intf.overflow_info
val mul : ?no_ov:bool -> GoblintCil.Cil.ikind -> t -> t -> t * IntDomain_intf.overflow_info
val div : ?no_ov:bool -> GoblintCil.Cil.ikind -> t -> t -> t * IntDomain_intf.overflow_info
val neg : ?no_ov:bool -> GoblintCil.Cil.ikind -> t -> t * IntDomain_intf.overflow_info
val cast_to : ?suppress_ovwarn:bool -> ?torg:GoblintCil.Cil.typ -> ?no_ov:bool -> GoblintCil.Cil.ikind -> t -> t * IntDomain_intf.overflow_info
val of_int : GoblintCil.Cil.ikind -> int_t -> t * IntDomain_intf.overflow_info
val of_interval : ?suppress_ovwarn:bool -> GoblintCil.Cil.ikind -> (int_t * int_t) -> t * IntDomain_intf.overflow_info
val starting : ?suppress_ovwarn:bool -> GoblintCil.Cil.ikind -> int_t -> t * IntDomain_intf.overflow_info
val ending : ?suppress_ovwarn:bool -> GoblintCil.Cil.ikind -> int_t -> t * IntDomain_intf.overflow_info
val shift_left : GoblintCil.Cil.ikind -> t -> t -> t * IntDomain_intf.overflow_info
val shift_right : GoblintCil.Cil.ikind -> t -> t -> t * IntDomain_intf.overflow_info
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