[PPL-devel] [Fwd: Re: question about PPL]

[Roberto Bagnara]

-------- Original Message --------
Subject: Re: question about PPL
Date: Tue, 22 May 2007 11:43:53 +0200 (CEST)
From: letallec at i3s.unice.fr
To: Roberto Bagnara <bagnara at cs.unipr.it>
References: <57939.83.197.255.233.1179760473.squirrel at webmail.i3s.unice.fr>    <465282ED.6000103 at cs.unipr.it>

Dear Roberto,

Thanks for all.
Be sure that i'll :
     -let you know how it goes
     -use ppl-devel at 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/snapshots
>
> Please 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 at 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 at cs.unipr.it
>


-- 
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