From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA00506 for caml-redistribution; Tue, 11 May 1999 16:57:58 +0200 (MET DST)
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id LAA18915 for <caml-list@pauillac.inria.fr>; Tue, 11 May 1999 11:00:04 +0200 (MET DST)
Received: from gatesrv.RZ.UniBw-Muenchen.de ([137.193.11.27])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id LAA13783
	for <caml-list@inria.fr>; Tue, 11 May 1999 11:00:01 +0200 (MET DST)
Received: from heraklit.informatik.unibw-muenchen.de (heraklit.Informatik.UniBw-Muenchen.de [137.193.60.82]) by gatesrv.RZ.UniBw-Muenchen.de (8.8.8/8.8.Beta.1) with SMTP id LAA05208 for <caml-list@inria.fr>; Tue, 11 May 1999 11:00:01 +0200 (MET DST)
Received: (qmail 6423 invoked by uid 210); 11 May 1999 08:59:57 -0000
Date: 11 May 1999 08:59:57 -0000
Message-ID: <19990511085957.6422.qmail@heraklit.informatik.unibw-muenchen.de>
From: Wolfram Kahl <kahl@heraklit.informatik.unibw-muenchen.de>
To: caml-list@inria.fr
In-reply-to: <000201be9abd$83fc5080$0150ebca@nextsolution.co.jp>
	(christo@nextsolution.co.jp)
Subject: Re: Graph Visualization
References:  <000201be9abd$83fc5080$0150ebca@nextsolution.co.jp>
Sender: weis


 > > > With so many people developing excellent compilers,
 > > > I was hoping to get a hint on the visualization of
 > > > graphs (even trees would help) using native OCAML.
 > > > The layout is not required to be good; this is
 > > > intended for researching the nature of large Web
 > > > sites using our existing modeling software written
 > > > in OCAML.
 > > I don't know about OCAML graph-viz tools, but some
 > > time ago I did a search for graph-viz tools in
 > > general, and attached below are my notes.  Hope
 > > they are of some use to you.
 > 
 > I suppose that it is worth mentioning in this connection the HOPS (Higher
 > Object Programming System) project, which uses da Vinci together with O'Labl
 > to format higher-order term graphs (but not of O'Labl terms).
 > 
 > http://diogenes.informatik.unibw-muenchen.de:8080/kahl/HOPS/

Actually I am not using daVinci, but dot from AT&T's graphviz package.

I start dot with open_process and pipe my graph descriptions into it,
reading back its layout with ocamllex/ocamlyacc generated parsers.
I then adapt the layout to my own needs and integrate it into
the HOPS GUI, where the user can manually change the layout.

I kill dot every 10 or 20 graphs, because it seems to have a space leak.


HTH


Wolfram