Module `PartitionDomain.ExpPartitions`Source

Sourcemodule B : sig ... end

Sourcemodule E : sig ... end

type t = [

| `Lifted of SetDomain.Make(B).t
| `Top

]

val equal : t -> t -> bool

val hash : t -> int

val compare : t -> t -> int

Sourceval pretty : unit -> t -> Printable.Pretty.doc

val name : unit -> string

val to_yojson : t -> Yojson.Safe.t

val tag : t -> int

Sourceval arbitrary : unit -> t QCheck.arbitrary

val relift : t -> t

Sourcetype elt = B.t

Sourceval empty : unit -> t

Sourceval is_empty : t -> bool

Sourceval mem : elt -> t -> bool

Sourceval add : elt -> t -> t

Sourceval singleton : elt -> t

Sourceval union : t -> t -> t

Sourceval inter : t -> t -> t

Sourceval diff : t -> t -> t

Sourceval subset : t -> t -> bool

Sourceval disjoint : t -> t -> bool

Sourceval iter : (elt -> unit) -> t -> unit

Sourceval map : (elt -> elt) -> t -> t

Sourceval fold : (elt -> 'a -> 'a) -> t -> 'a -> 'a

Sourceval for_all : (elt -> bool) -> t -> bool

Sourceval exists : (elt -> bool) -> t -> bool

Sourceval partition : (elt -> bool) -> t -> t * t

Sourceval cardinal : t -> int

Sourceval elements : t -> elt list

Sourceval of_list : elt list -> t

Sourceval min_elt : t -> elt

Sourceval max_elt : t -> elt

Sourceval choose : t -> elt

Sourcetype set = B.t

Sourcetype partition = t

Sourceval show : 'a -> string

Sourceval top : unit -> E.t

Sourceval bot : unit -> E.t

Sourceval is_top : E.t -> bool

Sourceval is_bot : E.t -> bool

Sourceval leq : E.t -> E.t -> bool

Sourceval pretty_diff : unit -> (t * E.t) -> GoblintCil.Pretty.doc

Sourceval meet : E.t -> E.t -> E.t

Sourceval join : E.t -> E.t -> E.t

Sourceval remove : B.elt -> E.t -> E.t

Sourceval add_eq : (B.elt * B.elt) -> E.t -> E.t

Sourceval filter : (B.elt -> bool) -> E.t -> E.t

Sourceval find_class : CilType.Exp.t -> t -> set option

Sourceval widen : E.t -> E.t -> E.t

Sourceval narrow : E.t -> E.t -> E.t

Sourceval printXml : 'a BatInnerIO.output -> t -> unit

Install

Dune Dependency

Authors

Maintainers

Sources

doc/goblint.domain/PartitionDomain/ExpPartitions/index.html

Module `PartitionDomain.ExpPartitions`Source

package goblint

Install

Dune Dependency

Authors

Maintainers

Sources

doc/goblint.domain/PartitionDomain/ExpPartitions/index.html

Module PartitionDomain.ExpPartitionsSource

Module `PartitionDomain.ExpPartitions`Source