-------- Original Message -------- Subject: Re: question about PPL Date: Tue, 22 May 2007 11:43:53 +0200 (CEST) From: letallec@i3s.unice.fr To: Roberto Bagnara bagnara@cs.unipr.it References: 57939.83.197.255.233.1179760473.squirrel@webmail.i3s.unice.fr 465282ED.6000103@cs.unipr.it
Dear Roberto,
Thanks for all. Be sure that i'll : -let you know how it goes -use ppl-devel@cs.unipr.it for my next mail. :-) Thanks again and have a good day.
yours sincerely, LE TALLEC Jean-François
Dear Jean-François,
in the (yet to be released) version 0.10 of the PPL, the polyhedra classes will have a method
/*! \brief Returns <CODE>true</CODE> if and only if \p *this contains at least one integer point. */ bool contains_integer_point() const;
For your convenience, I have prepared a snapshot of what will become PPL 0.10. You can find the tarballs at
ftp://ftp.cs.unipr.it/pub/ppl/snapshotsPlease note that the version of PPL contained in the tarballs is unreleased/experimental/unstable. Said that, we will try to help in case you run into problems. Please let us know how it goes and direct all correspondence to ppl-devel@cs.unipr.it. All the best,
Roberto-- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it