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