Module ViewGraph


module ViewGraph: sig .. end
ViewGraph : a library to view .dot graphs and interact with the GUI. To use it you have :

exception DotError of string
raised when the call to a dot command fails. The string gives the command that failed
type t_point = float * float 
type t_coord = t_point * t_point 
type t_graph 
type t_node 
type t_gtk_obj = GnomeCanvas.re_p GnoCanvas.item 
val get_id : t_node -> string
val get_coord : t_node -> t_coord option
val get_obj : t_node -> t_gtk_obj option
val get_neighbours : t_graph ->
t_node -> t_node list * t_node list
Returns 2 lists : the predecessors and successors of the node
module type SigCb = sig .. end
module EmptyCb: SigCb  with type t_env=unit
usefull when we don't want to have callbacks on the nodes
module M: 
functor (Cb : SigCb) -> sig .. end