package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Default.Store

include Binsec_kernel.Lmap.S with type v := Binsec_symbolic__Default__.Types.Chunk.t
type t
val empty : t
val is_empty : t -> bool
val is_empty_between : Z.t -> Z.t -> t -> bool
val iter : (Z.t -> Binsec_symbolic__Default__.Types.Chunk.t -> unit) -> t -> unit
val rev_iter : (Z.t -> Binsec_symbolic__Default__.Types.Chunk.t -> unit) -> t -> unit
val fold : (Z.t -> Binsec_symbolic__Default__.Types.Chunk.t -> 'a -> 'a) -> 'a -> t -> 'a
val rev_fold : (Z.t -> Binsec_symbolic__Default__.Types.Chunk.t -> 'a -> 'a) -> 'a -> t -> 'a
val map : (Z.t -> Binsec_symbolic__Default__.Types.Chunk.t -> Binsec_symbolic__Default__.Types.Chunk.t) -> t -> t
val merge : (Z.t -> Binsec_symbolic__Default__.Types.Chunk.t option -> Binsec_symbolic__Default__.Types.Chunk.t option -> Binsec_symbolic__Default__.Types.Chunk.t option) -> t -> t -> t
val extract : Z.t -> Z.t -> t -> t * t
val choose : t -> Z.t * Binsec_symbolic__Default__.Types.Chunk.t
val bindings : t -> (Z.t * Binsec_symbolic__Default__.Types.Chunk.t) list
val singleton : Binsec_kernel.Bitvector.t -> Binsec_symbolic__Default__.Types.Chunk.t -> t
val store : Binsec_kernel.Bitvector.t -> Binsec_symbolic__Default__.Types.Chunk.t -> t -> t
val select : (Z.t -> int -> Binsec_symbolic__Default__.Types.Chunk.t) -> Binsec_kernel.Bitvector.t -> int -> t -> Binsec_symbolic__Default__.Types.Chunk.t
val iter_term : (Z.t -> ([ `Exp ], string, [ `Some ] Binsec_symbolic__Default__.Types.Memory.node) Binsec_base.Term.t -> unit) -> t -> unit
val fold_term : (Z.t -> ([ `Exp ], string, [ `Some ] Binsec_symbolic__Default__.Types.Memory.node) Binsec_base.Term.t -> 'a -> 'a) -> 'a -> t -> 'a