module ViewGraph_core: sig .. end
ViewGraph : a library to view .dot graphs and interact with the GUI.
To use it you have :
- first to define callbacks (see
ViewGraph.SigCb)
- then instanciate the module
ViewGraph.M with your callbacks,
- then use
ViewGraph.M.open_dot_file
- don't forget to call
ViewGraph.M.clear when changing the file.
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: