Re : [Caml-list] ocamlgraph ConcreteBidirectional and Dot

[Matthieu Wipliez <mwipliez@yahoo.fr>]

Hi,

I have a question related to this: Is there a reason for the absence of a ConcreteBidirectionalLabeled graph in the API?

Thanks,
Matthieu


----- Message d'origine ----
> De : Jean-Christophe Filliâtre <Jean-Christophe.Filliatre@lri.fr>
> À : Pietro Abate <Pietro.Abate@pps.jussieu.fr>
> Cc : caml-list@yquem.inria.fr
> Envoyé le : Mardi, 7 Avril 2009, 9h35mn 22s
> Objet : 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
> 
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs