Module State_imp

module State_imp: sig .. end
Sets of Cvalue.Model.t implemented imperatively. Current implementation is optimized to detect similarities in the memory states

type t 
val pretty : Format.formatter -> t -> unit
val empty : unit -> t
Creation
val singleton : Cvalue.Model.t -> t
val is_empty : t -> bool
Information
val length : t -> int
exception Unchanged
Adding elements.

The three next functions raise Unchanged if the element(s) was already present.

val merge_set_return_new : State_set.t -> t -> State_set.t
val fold : (Cvalue.Model.t -> 'a -> 'a) -> t -> 'a -> 'a
Iterators
val iter : (Cvalue.Model.t -> unit) -> t -> unit
val exists : (Cvalue.Model.t -> bool) -> t -> bool
val join : t -> Cvalue.Model.t
Export
val to_set : t -> State_set.t
val to_list : t -> Cvalue.Model.t list