FiniteMustThreadSet (goblint.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