Roberto Bagnara wrote:
Author: Roberto Bagnara <bagnara@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. Regards. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basile<at>starynkevitch<dot>net mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opinions {are only mines, sont seulement les miennes} ***