Concrete.Store
Concrete variable store
type vt = Concrete.Values.t
val to_yojson : t -> Yojson.Safe.t
val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val bindings : t -> (Gil_syntax.Var.t * vt) list
val domain : t -> Gil_syntax.Var.Set.t
val filter_map_inplace : t -> (Gil_syntax.Var.t -> vt -> vt option) -> unit
val fold : t -> (Gil_syntax.Var.t -> vt -> 'a -> 'a) -> 'a -> 'a
val get : t -> Gil_syntax.Var.t -> vt option
val get_unsafe : t -> Gil_syntax.Var.t -> vt
val init : (Gil_syntax.Var.t * vt) list -> t
val iter : t -> (Gil_syntax.Var.t -> vt -> unit) -> unit
val mem : t -> Gil_syntax.Var.t -> bool
val partition :
t ->
(vt -> bool) ->
Gil_syntax.Var.Set.t * Gil_syntax.Var.Set.t
val projection : t -> Gil_syntax.Var.t list -> t
val put : t -> Gil_syntax.Var.t -> vt -> unit
val remove : t -> Gil_syntax.Var.t -> unit
val pp : Stdlib.Format.formatter -> t -> unit
val pp_by_need : Utils.Containers.SS.t -> Stdlib.Format.formatter -> t -> unit
val to_ssubst : t -> Symbolic.Subst.t
val lvars : t -> Gil_syntax.Var.Set.t