Module State_imp


module State_imp: sig .. end
Undocumented. Do not use this module if you don't know what you are doing.

type t 
exception Unchanged
val pretty : Format.formatter -> t -> unit
val add : Cvalue.Model.t -> t -> unit
val fold : (Cvalue.Model.t -> 'a -> 'a) -> t -> 'a -> 'a
val iter : (Cvalue.Model.t -> unit) -> t -> unit
val merge_into : t -> t -> unit
val merge_set_into : State_set.t -> t -> unit
val merge_set_return_new : State_set.t -> t -> State_set.t
val join : t -> Cvalue.Model.t
val join_dropping_relations : t -> Cvalue.Model.t
val exists : (Cvalue.Model.t -> bool) -> t -> bool
val is_empty : t -> bool
val length : t -> int
val empty : unit -> t
val singleton : Cvalue.Model.t -> t
val to_set : t -> State_set.t