[PPL-devel] Another question

[Ezio Bartocci]

Thanks I'll try

On Fri, May 4, 2012 at 6:17 PM, Enea Zaffanella <zaffanella at cs.unipr.it> wrote:
> On 05/04/2012 05:31 PM, Ezio Bartocci wrote:
>>
>> Can i use the mpz_class instead of mpf_class for an arbitrary integer
>> precision ?
>
>
> Yes.
>
> When using the default configuration, the type of the constraint/generator
> coefficients of the PPL is exactly mpz_class
> (we have a typedef named "Coefficient").
>
> Enea.
>
>
>



-- 
Dr. Ezio Bartocci, Assistant Professor
Dependable Systems Group
Department of Computer Engineering
Faculty of informatics
TU Wien, Vienna University of Technology, Austria
Treitlstraße   3, 1040 Vienna, Austria
E-Mail:     ezio.bartocci at tuwien.ac.at
Phone:     +43 (1) 58801 - 18210
Webiste: http://www.eziobartocci.com