package graphlib

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

Frontier maps each node into a possibly empty set of nodes. This is used for representing dominance and post-dominance frontiers.

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

enum f x enumerates frontier of x

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

mem f x y is true if y is in a frontier of x

val to_sequence : 'a t -> 'a Regular.Std.seq

to_sequence frontier enumerates all elements of a frontier

pp pp_elt instantiates a pretty-printer for a given element. See Tree.pp for more information.

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