package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Static analysis framework for C

Install

dune-project

Dependency

goblint.in.tum.de Edit opam file Versions (11)

Authors

Maintainers

Sources

goblint-2.8.0.tbz

sha256=9175eec0143102243964e34a0786584fd590c60422009259c705a89a27f88de4

sha512=9d760007dd8d003cf596516444ed7acc7370fc3d446e75ac71b0176522c3baae090410762f9035e7aae4f6b0e394bf28bb5b1c08ca0476920b94aa919ef04f42

doc/goblint_cdomain_value/ConcDomain/FiniteMustThreadSet/index.html

Module `ConcDomain.FiniteMustThreadSet`

include sig ... end

type elt = SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).elt

val empty : unit -> SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t

val is_empty : SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t -> bool

val mem : elt -> SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t -> bool

val add : 
  elt ->
  SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t ->
  SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t

val singleton : elt -> SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t

val remove : 
  elt ->
  SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t ->
  SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t

val union : 
  SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t ->
  SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t ->
  SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t

val inter : 
  SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t ->
  SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t ->
  SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t

val diff : 
  SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t ->
  SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t ->
  SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t

val subset : 
  SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t ->
  SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t ->
  bool

val disjoint : 
  SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t ->
  SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t ->
  bool

val iter : 
  (elt -> unit) ->
  SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t ->
  unit

val map : 
  (elt -> elt) ->
  SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t ->
  SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t

val fold : 
  (elt -> 'a -> 'a) ->
  SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t ->
  'a ->
  'a

val for_all : 
  (elt -> bool) ->
  SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t ->
  bool

val exists : 
  (elt -> bool) ->
  SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t ->
  bool

val filter : 
  (elt -> bool) ->
  SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t ->
  SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t

val partition : 
  (elt -> bool) ->
  SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t ->
  SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t
  * SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t

val cardinal : SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t -> int

val elements : SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t -> elt list

val to_seq : 
  SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t ->
  elt Stdlib.Seq.t

val of_list : elt list -> SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t

val min_elt : SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t -> elt

val max_elt : SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t -> elt

val choose : SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t -> elt

type t = SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t

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 : 
  SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t ->
  SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t ->
  SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t

val narrow : 
  SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t ->
  SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t ->
  SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t

val bot : unit -> SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t

val is_bot : SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t -> bool

val top : unit -> SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t

val is_top : SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t -> bool

val leq : 
  SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t ->
  SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t ->
  bool

val join : 
  SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t ->
  SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t ->
  SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t

val meet : 
  SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t ->
  SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t ->
  SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t

val name : unit -> string

val pretty_diff : unit -> (t * t) -> Lattice.Pretty.doc

val printXml : 
  'a BatInnerIO.output ->
  SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t ->
  unit

val arbitrary : 
  unit ->
  SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t QCheck.arbitrary

val mem_lifted : 
  ThreadIdDomain.thread ->
  SetDomain.Make(ThreadIdDomain.FlagConfiguredTID).t ->
  bool