Module `Partial_map.Make`Source

Parameters

module Key : KEY

module Value : Core.All.LATTICE

Signature

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

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

Sourceval bottom : t

Sourceval top : t

Sourceval is_bottom : t -> bool

Sourceval empty : t

Sourceval subset : t -> t -> bool

Inclusion test.

Sourceval join : t -> t -> t

Join two sets of partial maps.

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

Widening (naive).

Sourceval meet : t -> t -> t

Meet.

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

Printing.

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

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

Sourceval remove : Key.t -> t -> t

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

Sourceval rename : Key.t -> Key.t -> t -> t

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

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

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

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

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

Source

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

Source

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

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

Sourceval canonize : t -> t

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

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

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

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

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

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

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

Sourceval cardinal : t -> int

Source

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 Dependency

Authors

Maintainers

Sources

doc/lattices/Lattices/Partial_map/Make/index.html

Module `Partial_map.Make`Source

Parameters

Signature

package mopsa

Install

Dune Dependency

Authors

Maintainers

Sources

doc/lattices/Lattices/Partial_map/Make/index.html

Module Partial_map.MakeSource

Parameters

Signature

Module `Partial_map.Make`Source