gillian » Gillian » Concrete » Store

Module Concrete.Store

type vt = Concrete.Values.t

type t = General.Store.Make(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 copy : t -> t

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