Module `Pointwise.Make`Source

Parameters

module Key : KEY

module Value : Core.All.LATTICE

Signature

module M : sig ... end

Sourcetype nt_t = Value.t M.t

Sourcetype t = nt_t Mopsa_utils.Top.with_top

Sourceval bottom : t

Sourceval empty : t

Sourceval top : t

Sourceval is_bottom : t -> bool

Sourceval is_empty : t -> bool

Sourceval is_top : t -> bool

Sourceval subset : t -> t -> bool

Sourceval join : t -> t -> t

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

Sourceval meet : t -> t -> t

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

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

Returns ⊥ value if either k is not found, or a is the ⊤ map.

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

Sourceval m_add : Key.t -> Value.t -> nt_t -> nt_t

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

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

Returns false of a is the ⊤ map, or k is mapped to the ⊥ value.

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

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

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

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

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

Raises a Top_encountered exception for the ⊤ map.

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

Returns None for a ⊤ or ⊥ map.

Sourceval cardinal : t -> int

Raises a Top_encountered exception for the ⊤ map.

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

Iterator functions.

These functions do nothing for the ⊤ map, which is equivalent here to the empty map.

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

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

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

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

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

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

Binary iterators.

If a key is bound in only one map, the function is called with the ⊥ value as missing argument. These functions do nothing if either map is the ⊤ map.

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

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

Sourceval fold2 : (Key.t -> Value.t -> Value.t -> 'a -> 'a) -> t -> t -> 'a -> 'a

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

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

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

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

Sourceval fold2z : (Key.t -> Value.t -> Value.t -> 'a -> 'a) -> t -> t -> 'a -> 'a

Source

val fold2zo : 
  (Key.t -> Value.t -> 'a -> 'a) ->
  (Key.t -> Value.t -> 'a -> 'a) ->
  (Key.t -> Value.t -> Value.t -> 'a -> 'a) ->
  t ->
  t ->
  'a ->
  'a

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

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

Slice iterations.

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

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

Source

val fold_slice : 
  (Key.t -> Value.t -> 'a -> 'a) ->
  t ->
  Key.t ->
  Key.t ->
  'a ->
  'a

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

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

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module `Pointwise.Make`Source

Parameters

Signature

package mopsa

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module Pointwise.MakeSource

Parameters

Signature

Module `Pointwise.Make`Source