callcc

module type S =
sig
module G: Graph.S (* we repeat the module sent to the functor, for typing reasons *)
type t (** the type of path in a graph *)
(** a path without edge in a given graph *)
val empty: G.graph -> G.vertex -> t
(** The graph in which the path exists *)
val graph : t -> G.graph
(** Checks if a path has no edge *)
val is_empty : t -> bool
(** The set of edges in a path *)
val edge_set : t -> G.E.t
(** Add an edge at the beginning of a path *)
val add_first : G.edge -> t -> t
(** Add an edge at the end of a path *)
val add_last : t -> G.edge -> t
(** the first vertex of a path *)
val first_vertex : t -> G.vertex
(** the last vertex of a path *)
val last_vertex : t -> G.vertex
(** the extremities of a path, first vertex first, last vertex second *)
val endpoints : t -> G.vertex * G.vertex
(** The first edge of a path, if any (raise Invalid_arg otherwise) *)
val first_edge : t -> G.edge
(** The last edge of a path. *)
val last_edge : t -> G.edge
(** Removing the first edge of a path *)
val remove_first : t -> t
(** Removing the last edge of a path *)
val remove_last : t -> t
(** Fold a function over all the edges of a path, from first to last.
Edges are given as triples vertex, edge, vertex where the two vertices
are the endpoints of the edge given in order of appearance on the path
*)
val fold : ('a -> G.vertex -> G.edge -> G.vertex -> 'a) -> 'a -> t -> 'a
(** Same as [fold], in backward direction *)
val fold_backward : (G.vertex -> G.edge -> G.vertex -> 'a -> 'a) -> t -> 'a -> 'a
(** [concat path1 path2] is the path obtained by the union of [path1] and [path2].
[path1] and [path2] must have disjoint edge sets, and
the last vertex of [path1] must be the first vertex of [path2].
*)
val concat : t -> t -> t
(** [rev_concat path1 path2] is the path obtained by the union of [path1] and [path2].
Direction of [path1] is reversed. First vertices of [path1] and [path2] nust be the same.
*)
val rev_concat: t -> t -> t
(** Reverse the direction of the path, first vertex becomes last...*)
val reverse : t -> t
end

Path.S