[PPL-devel] NNC vs C polyhedra

Sebastian Pop wrote:

...

It really seems in CLooG you are duplicating much of the functionalities of our Pointset_Powerset construction.

This cleanup was the next thing on my todo list.

Another issue is: do you really need NNC polyhedra? 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). Cheers,

Roberto