package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type
include module type of struct include MustLocksetRW end
include sig ... end
val empty : unit -> [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ]
val is_empty : [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ] -> bool
val mem : elt -> [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ] -> bool
val add : elt -> [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ] -> [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ]
val singleton : elt -> [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ]
val remove : elt -> [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ] -> [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ]
val union : [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ] -> [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ] -> [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ]
val inter : [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ] -> [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ] -> [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ]
val diff : [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ] -> [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ] -> [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ]
val subset : [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ] -> [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ] -> bool
val disjoint : [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ] -> [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ] -> bool
val iter : (elt -> unit) -> [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ] -> unit
val map : (elt -> elt) -> [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ] -> [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ]
val fold : (elt -> 'a -> 'a) -> [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ] -> 'a -> 'a
val for_all : (elt -> bool) -> [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ] -> bool
val exists : (elt -> bool) -> [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ] -> bool
val filter : (elt -> bool) -> [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ] -> [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ]
val partition : (elt -> bool) -> [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ] -> [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ] * [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ]
val cardinal : [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ] -> int
val elements : [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ] -> elt list
val of_list : elt list -> [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ]
val min_elt : [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ] -> elt
val max_elt : [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ] -> elt
val choose : [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ] -> elt
type t = [
  1. | `Lifted of SetDomain.Make(LockDomain.MustLockRW).t
  2. | `Top
]
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 to_yojson : t -> Yojson.Safe.t
val tag : t -> int
val relift : t -> t
val widen : [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ] -> [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ] -> [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ]
val narrow : [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ] -> [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ] -> [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ]
val bot : unit -> [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ]
val is_bot : [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ] -> bool
val top : unit -> [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ]
val is_top : [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ] -> bool
val leq : [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ] -> [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ] -> bool
val join : [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ] -> [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ] -> [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ]
val meet : [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ] -> [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ] -> [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ]
val pretty_diff : unit -> (t * t) -> Lattice.Pretty.doc
val printXml : 'a BatInnerIO.output -> [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ] -> unit
val arbitrary : unit -> [ `Lifted of SetDomain.Make(LockDomain.MustLockRW).t | `Top ] QCheck.arbitrary
val add_mval_rw : LockDomain.MvalRW.t -> t -> t
val remove_mval_rw : LockDomain.MvalRW.t -> t -> t
val mem_mval : ValueDomain.Mval.t -> t -> bool
val remove_mval : ValueDomain.Mval.t -> t -> t
val all : unit -> t
val is_all : t -> bool
val to_must_lockset : t -> LockDomain.MustLockset.t
val name : unit -> string
val may_race : [ `Lifted of SetDomain.Make(Goblint_lib__LockDomain.MustLockRW).t | `Top ] -> [ `Lifted of SetDomain.Make(Goblint_lib__LockDomain.MustLockRW).t | `Top ] -> bool
val should_print : [ `Lifted of SetDomain.Make(Goblint_lib__LockDomain.MustLockRW).t | `Top ] -> bool
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