package ocamlgraph

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

Module `Traverse.Mark`Source

Graph traversal with marking. Only applies to imperative graphs with marks.

Parameters

module G : GM

Signature

Sourceval dfs : G.t -> unit

dfs g traverses g in depth-first search, marking all nodes.

Sourceval has_cycle : G.t -> bool

has_cycle g checks for a cycle in g. Modifies the marks. Linear time, constant space.