Module Partial_map.MakeSource

Parameters

module Key : KEY

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
Sourceval 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
Sourceval 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
Sourceval map2zo : (Key.t -> Value.t -> Value.t) -> (Key.t -> Value.t -> Value.t) -> (Key.t -> Value.t -> Value.t -> Value.t) -> t -> t -> t