module MapE: Mappe.S with type key = MapV.key * MapV.key
Map module for associating attributes to edges, of type MapV.key *
MapV.key
type
type 'a t
module Setkey: Sette.S with type elt=key
val repr : 'a t -> (key, 'a) Mappe.map
val obj : (key, 'a) Mappe.map -> 'a t
val is_empty : 'a t -> bool
val empty : 'a t
val add : key -> 'a -> 'a t -> 'a t
val find : key -> 'a t -> 'a
val remove : key -> 'a t -> 'a t
val mem : key -> 'a t -> bool
val addmap : 'a t -> 'a t -> 'a t
val merge : ('a -> 'a -> 'a) -> 'a t -> 'a t -> 'a t
val mergei : (key -> 'a -> 'a -> 'a) ->
'a t -> 'a t -> 'a t
val common : ('a -> 'b -> 'c) -> 'a t -> 'b t -> 'c t
val commoni : (key -> 'a -> 'b -> 'c) ->
'a t -> 'b t -> 'c t
val combine : (key -> 'a option -> 'b option -> 'c option) ->
'a t -> 'b t -> 'c t
val interset : 'a t -> Setkey.t -> 'a t
val diffset : 'a t -> Setkey.t -> 'a t
val iter : (key -> 'a -> unit) -> 'a t -> unit
val map : ('a -> 'b) -> 'a t -> 'b t
val mapi : (key -> 'a -> 'b) -> 'a t -> 'b t
val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
val maptoset : 'a t -> Setkey.t
val mapofset : (key -> 'a) -> Setkey.t -> 'a t
val compare : ('a -> 'b -> int) -> 'a t -> 'b t -> int
val comparei : (key -> 'a -> 'b -> int) -> 'a t -> 'b t -> int
val equal : ('a -> 'b -> bool) -> 'a t -> 'b t -> bool
val equali : (key -> 'a -> 'b -> bool) -> 'a t -> 'b t -> bool
val subset : ('a -> 'b -> bool) -> 'a t -> 'b t -> bool
val subseti : (key -> 'a -> 'b -> bool) -> 'a t -> 'b t -> bool
val filter : (key -> 'a -> bool) -> 'a t -> 'a t
val partition : (key -> 'a -> bool) -> 'a t -> 'a t * 'a t
val cardinal : 'a t -> int
val bindings : 'a t -> (key * 'a) list
val min_key : 'a t -> key
val max_key : 'a t -> key
val choose : 'a t -> key * 'a
val print : ?first:(unit, Format.formatter, unit) Pervasives.format ->
?sep:(unit, Format.formatter, unit) Pervasives.format ->
?last:(unit, Format.formatter, unit) Pervasives.format ->
?firstbind:(unit, Format.formatter, unit) Pervasives.format ->
?sepbind:(unit, Format.formatter, unit) Pervasives.format ->
?lastbind:(unit, Format.formatter, unit) Pervasives.format ->
(Format.formatter -> key -> unit) ->
(Format.formatter -> 'a -> unit) -> Format.formatter -> 'a t -> unit