Version franēaise
Home     About     Download     Resources     Contact us    
Browse thread
ocamlgraph ConcreteBidirectional and Dot
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jean-Christophe_Filliātre <Jean-Christophe.Filliatre@l...>
Subject: Re: [Caml-list] ocamlgraph ConcreteBidirectional and Dot
Hi,

Sorry for the late answer...

> I've a small problem with ocamlgraph.
> I want to parse a dot graph into a ConcreteBidirectional.
> 
> The problem is that the signature needed for Dot.Parse requires a function
> edge, but I've no mean to specify a label (since it is unlabelled !!)... 
> 
> The functor for ConcreteBidirectional says E.t = (V.t * V.t), 
> but I don't quite understand the type of B.G.E.label ... 

You're right, some type information is missing and there is no way to
instantiate the Dot functor with the current signature of
ConcreteBidirectional.

One easy patch (if you are compiling ocamlgraph from sources) is to add
the constraint

	... and type E.label = unit

to the signature of functor ConcreteBidirectional. I think we'll do that
in the next release of ocamlgraph (and similarly for other unlabeled
graph data structures provided in ocamlgraph).

Hope this helps,
-- 
Jean-Christophe