[PPL-devel] integer versus rational solutions

[Tobias Grosser]

On Thu, 2009-07-09 at 14:22 +0200, Roberto Bagnara wrote:
> 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?

No, we do not need this. I introduced NNC_Polyhedron as I did not
understand the difference correct. We should switch back to C_Polyhedron
or even better to integer(Z) polyhedron.

Tobias