package graphlib

  1. Overview
  2. Docs
package graphlib
Legend:
Library
Module
Module type
Parameter
Class
Class type

Group is a non-empty set that is a result of partitioning of an underlying set S into a set of non-intersecting and non-empty subsets that cover set S. See Partition for more information.

type 'a t = 'a group
val enum : 'a group -> 'a Regular.Std.seq

enum group enumerates all elements of a group, including the designated one.

val mem : 'a group -> 'a -> bool

mem group x checks membership of x in a given group.

val top : 'a group -> 'a

top group returns the top element of a group also known as a representative element. The function is total since groups is guaranteed to be non-empty.

val to_equiv : 'a group -> equiv

to_equiv g returns the ordinal number representing the particular group g

pp pp_elem g prints group g using element printer pp_elem

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct