package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type

A functor for creating a simple set domain, there is no top element, and * calling top () will raise an exception

val empty : 'a -> 'b
val is_empty : 'a -> 'b
val mem : 'a -> 'b -> 'c
val add : 'a -> 'b -> 'c
val singleton : 'a -> 'b
val remove : 'a -> 'b -> 'c
val union : 'a -> 'b -> 'c
val inter : 'a -> 'b -> 'c
val diff : 'a -> 'b -> 'c
val subset : 'a -> 'b -> 'c
val iter : 'a -> 'b -> 'c
val map : 'a -> 'b -> 'c
val fold : 'a -> 'b -> 'c -> 'd
val for_all : 'a -> 'b -> 'c
val exists : 'a -> 'b -> 'c
val filter : 'a -> 'b -> 'c
val partition : 'a -> 'b -> 'c
val cardinal : 'a -> 'b
val elements : 'a -> 'b
val of_list : 'a -> 'b
val min_elt : 'a -> 'b
val max_elt : 'a -> 'b
val choose : 'a -> 'b
val split : 'a -> 'b -> 'c