[PPL-devel] integer versus rational solutions

[Roberto Bagnara]

Konrad Trifunovic wrote:
> I attach a patch that uses 'integer existence test'.
> I have forced the use of dependence check.

Hi there.

I am sorry if the answer is obvious, but I am wondering
why you are using NNC polyhedra (NNC_Polyhedron) instead
of ordinary polyhedra (C_Polyhedron).  Do you need to
characterize rational solutions and use strict constraints?
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