Module `Partial_inversible_map.Make`Source

Parameters

module Key : ORDER

module Value : ORDER

Signature

module KeySet = Mopsa_utils.SetExt.Make(Key)

Set of keys

module ValueSet = Mopsa_utils.SetExt.Make(Value)

Set of values

Sourcetype t

Type of inversible maps

Sourceval bottom : t

⊥ element

Sourceval top : t

⊤ element

Sourceval is_bottom : t -> bool

is_bottom a checks whether a is ⊥

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

Pretty printer.

Sourceval empty : t

Singleton of empty map

Sourceval subset : t -> t -> bool

Inclusion test.

Sourceval join : t -> t -> t

Join two sets of partial maps.

Sourceval meet : t -> t -> t

Intersect to sets of partial maps.

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

Widening operator

Sourceval find : Key.t -> t -> ValueSet.t Mopsa_utils.Top.with_top

find k a find the set of values attached to key k in a. Raise Not_found of the key is not found.

Sourceval find_inverse : Value.t -> t -> KeySet.t Mopsa_utils.Top.with_top

find_inverse finds the set of keys attached to value v in a.

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

remove k a removes all bindings (k,-) in a

Sourceval remove_inverse : Value.t -> t -> t

remove_inverse v a remove all bindings (-,v) in a

Sourceval filter : (Key.t -> ValueSet.t Mopsa_utils.Top.with_top -> bool) -> t -> t

filter f a keeps all bindings (k,vs) in a such that f k vs is true

Sourceval filter_inverse : (Value.t -> KeySet.t -> bool) -> t -> t

filter_inverse f a keeps all inverse bindings (v,ks) in a such that f v ks is true

Sourceval set : Key.t -> ValueSet.t Mopsa_utils.Top.with_top -> t -> t

set k vs a adds the binding (k,vs) to a. Previous bindings are overwritten.

Sourceval add_inverse : Value.t -> KeySet.t -> t -> t

add_inverse v ks a adds the binding (k,{v} ∪ find k a) to a, where k ∈ ks.

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

rename k k' a renames key k to k' in a

Sourceval rename_inverse : Value.t -> Value.t -> t -> t

rename k k' a renames value v to v' in a

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

singleton k v createw a map with the singleton binding (k,{v})

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

mem k a check whether a binding (k,-) exists in a

Sourceval mem_inverse : Value.t -> t -> bool

mem v a check whether a binding (_,v) exists in a

Source

val fold : 
  (Key.t -> ValueSet.t Mopsa_utils.Top.with_top -> 'a -> 'a) ->
  t ->
  'a ->
  'a

fold f a init folds function f over elements (k,vs) in a

Source

val map : 
  (ValueSet.t Mopsa_utils.Top.with_top -> ValueSet.t Mopsa_utils.Top.with_top) ->
  t ->
  t

map f a replace bindings (k,vs) in a with (k,f vs)

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module `Partial_inversible_map.Make`Source

Parameters

Signature

package mopsa

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module Partial_inversible_map.MakeSource

Parameters

Signature

Module `Partial_inversible_map.Make`Source