[PPL-devel] [GIT] ppl/ppl(master): The C interface now provides functions of the form

[Roberto Bagnara]

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