Module CCGraph.Traverse.Event

module Event: sig .. end

type edge_kind = [ `Back | `Cross | `Forward ] 

type ('v, 'e) t = [ `Edge of 'v * 'e * 'v * edge_kind
       | `Enter of 'v * int * ('v, 'e) CCGraph.Traverse.path
       | `Exit of 'v ] 

val get_vertex : ('v, 'e) t -> ('v * [ `Enter | `Exit ]) option

val get_enter : ('v, 'e) t -> 'v option

val get_exit : ('v, 'e) t -> 'v option

val get_edge : ('v, 'e) t -> ('v * 'e * 'v) option

val get_edge_kind : ('v, 'e) t ->
       ('v * 'e * 'v * edge_kind) option

val dfs : ?tbl:'v CCGraph.set ->
       ?eq:('v -> 'v -> bool) ->
       graph:('v, 'e) CCGraph.graph ->
       'v CCGraph.sequence ->
       ('v, 'e) t CCGraph.sequence_once

val dfs_tag : ?eq:('v -> 'v -> bool) ->
       tags:'v CCGraph.tag_set ->
       graph:('v, 'e) CCGraph.graph ->
       'v CCGraph.sequence ->
       ('v, 'e) t CCGraph.sequence_once