[PPL-devel] No floating point coefficients?

[Manoj Rajagopalan]

Hi all

   In my experiments, I find myself unable to assign float or double 
coefficients to linear expressions that form my constraints. In 
attempting to rebuild the library on my intel FC6 machine, I find that 
the choices i have for the coefficients are all integer types (as told 
to me by the --enable-coefficients configure option).

   Does this mean that PPL is good only with constraints that have 
integer coefficients? Can i not work with linear expressions like (4.5*x 
+ 3.9*y) etc?

   Thanks for Enea Zaffanella and Roberto Bagnara for replies to my 
previous question on point containment within polyhedra. I tried out 
their suggestions and found that my coefficients were being truncated to 
integers which is why some of my tests were failing.

Thanks in advance,
Manoj Rajagopalan