Module LogtkLazyGraph.Full

module Full: sig .. end

Full interface to traversals



type ('id, 'v, 'e) traverse_event = 
| EnterVertex of 'id * 'v * int * ('id, 'e) LogtkLazyGraph.path
| ExitVertex of 'id
| MeetEdge of 'id * 'e * 'id * edge_type
type edge_type = 
| EdgeForward
| EdgeBackward
| EdgeTransverse
val bfs_full : ('id, 'v, 'e) LogtkLazyGraph.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) LogtkLazyGraph.t ->
'id Sequence.t -> ('id, 'v, 'e) traverse_event Sequence.t
Lazy traversal in depth first from a finite set of vertices