Re: [PPL-devel] NNC vs C polyhedra

On Sun, Aug 24, 2008 at 11:32 AM, Roberto Bagnara bagnara@cs.unipr.it wrote:

Another issue is: do you really need NNC polyhedra?

I used NNC because I have not looked carefully at the definitions.

I am asking because I guess you only work with integer variables: in this case, C polyhedra should suffice. Moreover, there is a performance penalty to be paid for NNC polyhedra (think about a factor 2, both in space and time, for typical computations).

Thanks for spotting this inefficiency. I used the attached patch and the testsuite of CLooG passed.

Sebastian