Module `Partial_map.Make`

Parameters

module Key : KEY

module Value : Core.All.LATTICE

Signature

type t = (Key.t, Value.t) map

Abstraction of a set of partial maps from Key.t to 'a.

val bottom : t

val top : t

val is_bottom : t -> bool

val empty : t

val subset : t -> t -> bool

Inclusion test.

val join : t -> t -> t

Join two sets of partial maps.

val widen : 'a Core.Context.ctx -> t -> t -> t

Widening (naive).

val meet : t -> t -> t

Meet.

val print : Core.All.printer -> t -> unit

Printing.

val find : Key.t -> t -> Value.t

val find_opt : Key.t -> t -> Value.t option

val remove : Key.t -> t -> t

val add : Key.t -> Value.t -> t -> t

val rename : Key.t -> Key.t -> t -> t

val singleton : Key.t -> Value.t -> t

val filter : (Key.t -> Value.t -> bool) -> t -> t

val partition : (Key.t -> Value.t -> bool) -> t -> t * t

val iter : (Key.t -> Value.t -> unit) -> t -> unit

val fold : (Key.t -> Value.t -> 'b -> 'b) -> t -> 'b -> 'b

val fold2o : 
  ('a -> 'b -> 'c -> 'c) ->
  ('a -> 'd -> 'c -> 'c) ->
  ('a -> 'b -> 'd -> 'c -> 'c) ->
  ('a, 'b) PMap.t Mopsa_utils.Core.Bot_top.with_bot_top ->
  ('a, 'd) PMap.t Mopsa_utils.Core.Bot_top.with_bot_top ->
  'c ->
  'c

val fold2zo : 
  ('a -> 'b -> 'c -> 'c) ->
  ('a -> 'b -> 'c -> 'c) ->
  ('a -> 'b -> 'b -> 'c -> 'c) ->
  ('a, 'b) PMap.t Mopsa_utils.Core.Bot_top.with_bot_top ->
  ('a, 'b) PMap.t Mopsa_utils.Core.Bot_top.with_bot_top ->
  'c ->
  'c

val mem : Key.t -> t -> bool

val canonize : t -> t

val map : (Value.t -> Value.t) -> t -> t

val mapi : (Key.t -> Value.t -> Value.t) -> t -> t

val map_p : ((Key.t * Value.t) -> Key.t * Value.t) -> t -> (Key.t, Value.t) map

val bindings : t -> (Key.t * Value.t) list

val for_all : (Key.t -> Value.t -> bool) -> t -> bool

val exists : (Key.t -> Value.t -> bool) -> t -> bool

val max_binding : t -> (Key.t * Value.t) option

val cardinal : t -> int

val map2zo : 
  (Key.t -> Value.t -> Value.t) ->
  (Key.t -> Value.t -> Value.t) ->
  (Key.t -> Value.t -> Value.t -> Value.t) ->
  t ->
  t ->
  t

Install

dune-project
Dependency

Authors

Maintainers

Sources

doc/mopsa.mopsa_analyzer/Mopsa_analyzer/Framework/Lattices/Partial_map/Make/index.html

Module `Partial_map.Make`

Parameters

Signature

package mopsa

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/mopsa.mopsa_analyzer/Mopsa_analyzer/Framework/Lattices/Partial_map/Make/index.html

Module Partial_map.Make

Parameters

Signature

dune-project
Dependency

Module `Partial_map.Make`