package logtk

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

Full interface to traversals

type ('id, 'v, 'e) traverse_event =
  1. | EnterVertex of 'id * 'v * int * ('id, 'e) path
  2. | ExitVertex of 'id
  3. | MeetEdge of 'id * 'e * 'id * edge_type
and edge_type =
  1. | EdgeForward
  2. | EdgeBackward
  3. | EdgeTransverse
val bfs_full : ('id, 'v, 'e) t -> 'id Sequence.t -> ('id, 'v, 'e) traverse_event Sequence.t

Lazy traversal in breadth first from a finite set of vertices

val dfs_full : ('id, 'v, 'e) t -> 'id Sequence.t -> ('id, 'v, 'e) traverse_event Sequence.t

Lazy traversal in depth first from a finite set of vertices