[PPL-devel] [GIT] ppl/ppl(master): The C interface now provides functions of the form
Roberto Bagnara
bagnara at cs.unipr.it
Mon Mar 23 18:42:01 CET 2009
Basile STARYNKEVITCH wrote:
>
>> Roberto Bagnara wrote:
>>>
>>>
>>> Author: Roberto Bagnara <bagnara at cs.unipr.it>
>>> Date: Sat Mar 21 19:58:13 2009 +0100
>>>
>>> The C interface now provides functions of the form
>>>
>>> int ppl_io_asprint_Polyhedron(char** strp, P x)
>
>
> Thanks. I'm using this (in the MELT branch of GCC; will probably commit
> in a couple of hours), but I miss the indent argument (which gave an
> indentation number, ie the number of spaces after each newline).
>
> So I am scanning the resulting string to replace there every newline
> with newline followed by some number of spaces.
Hi Basile,
you have been too quick. The interface you are using was actually
a failed experiment that will be removed now. I will let you
know when we are ready.
Cheers,
Roberto
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it
More information about the PPL-devel
mailing list