Rel (bigraph.Bigraph.Rel)

type t

Type of finite binary relations on integers.

val pp : 
  Ppx_deriving_runtime.Format.formatter ->
  t ->
  Ppx_deriving_runtime.unit

val to_yojson : t -> Yojson.Safe.t

val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or

These follow the standard Map module conventions.

val cardinal : t -> int

val empty : t

val fold : (int -> IntSet.t -> 'b -> 'b) -> t -> 'b -> 'b

val is_empty : t -> bool

val iter : (int -> IntSet.t -> unit) -> t -> unit

val mem : int -> t -> bool

val dom : t -> IntSet.t

Return the domain of a binary relation.

val codom : t -> IntSet.t

Return the codomain of a binary relation.

val to_list : t -> (int * IntSet.t) list

Return the list of pairs defined by a binary relation.

val of_list : (int * int list) list -> t

Inverse of Rel.to_list. Note that in case of clashing pairs only the right-most is used.

val show : t -> string

Return the string representation of a binary relation. Example:

  {(1, {1, 2, 3}), (2, {3, 4})}

val add : int -> IntSet.t -> t -> t

add i set r adds set to the values associated to i in relation r. All the elements of set and i must be non negative.

val equal : t -> t -> bool

Equality between binary relations.

val compare : t -> t -> int

Comparison between binary relations.

val apply : t -> int -> IntSet.t

apply r i returns the set of values associated to i by relation r.