package goblint

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

Module IntDomain0.IntInvariant

val of_int : GoblintCil.Cil.exp -> GoblintCil.Cil.ikind -> GoblintCil__.Cilint.cilint -> [> `Lifted of GoblintCil.Cil.exp | `Top ]
val of_incl_list : GoblintCil.Cil.exp -> GoblintCil.ikind -> GoblintCil__.Cilint.cilint list -> [ `Bot | `Lifted of Invariant.ExpLat.t | `Top ]
val of_interval_opt : GoblintCil.Cil.exp -> GoblintCil.Cil.ikind -> (GoblintCil__.Cilint.cilint option * Z.t option) -> [ `Bot | `Lifted of GoblintCil.Cil.exp | `Top ]
val of_interval : GoblintCil.Cil.exp -> GoblintCil.Cil.ikind -> (GoblintCil__.Cilint.cilint * Z.t) -> [ `Bot | `Lifted of GoblintCil.Cil.exp | `Top ]
val of_excl_list : GoblintCil.Cil.exp -> GoblintCil.Cil.ikind -> GoblintCil__.Cilint.cilint list -> [ `Bot | `Lifted of Invariant.ExpLat.t | `Top ]