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: