[PPL-devel] NNC vs C polyhedra

[Roberto Bagnara]

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

-- 
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