From: Mathias Kende <mathias@kende.fr>
To: Alexey Rodriguez <mrchebas@gmail.com>
Cc: caml users <caml-list@inria.fr>
Subject: Re: [Caml-list] Marshalling question
Date: Tue, 12 Oct 2010 11:26:10 +0200 [thread overview]
Message-ID: <1286875570.30240.30.camel@bohrium.pps.jussieu.fr> (raw)
In-Reply-To: <AANLkTikgu+qy26vQaQ+K7st04wUgq=EvUkf0VOyfwKPj@mail.gmail.com>
Le mardi 12 octobre 2010 à 10:42 +0200, Alexey Rodriguez a écrit :
> Mathias, can you elaborate on "additional care"? We are using the
> functional graphs from ocamlgraph, so I am very interested in your
> experiences with it.
There is not much to say. To represent "abstract" graphs (those were the
equality for the nodes type is not used to check if two nodes of a graph
are the same), the library uses an internal counter. This counter must
be serialised along with the graphs and then it must be updated
correctly when graphs are unserialised to avoid creating a node with the
same identifier than o node in the unserialised graphs.
This is explained in the FAQ :
http://ocamlgraph.lri.fr/FAQ
But I bielieve that the FAQ got it wrong in case multiple graphs are
unserialised, or nodes are created before the unserialisation of other
nodes. In these situation using concrete graphs, which do not suffer
from this problem, is certainly easier (as advertised by the manual).
And I manually add identifiers to the nodes if I need many nodes with
the same label.
Mathias
>
> Cheers,
>
> Alexey
next prev parent reply other threads:[~2010-10-12 9:26 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-10-08 13:37 Jean Krivine
2010-10-08 13:39 ` [Caml-list] " David Allsopp
2010-10-08 13:48 ` Mathias Kende
2010-10-12 8:42 ` Alexey Rodriguez
2010-10-12 9:25 ` Julien Signoles
2010-10-12 9:26 ` Mathias Kende [this message]
2010-10-12 9:42 ` Julien Signoles
2010-10-12 9:48 ` Alexey Rodriguez
2010-10-09 7:58 ` forum
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=1286875570.30240.30.camel@bohrium.pps.jussieu.fr \
--to=mathias@kende.fr \
--cc=caml-list@inria.fr \
--cc=mrchebas@gmail.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).