4 May
2012
4 May
'12
6:22 p.m.
Thanks I'll try On Fri, May 4, 2012 at 6:17 PM, Enea Zaffanella <zaffanella@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@tuwien.ac.at Phone: +43 (1) 58801 - 18210 Webiste: http://www.eziobartocci.com