[PPL-devel] NNC vs C polyhedra
bagnara at cs.unipr.it
Sun Aug 24 18:32:59 CEST 2008
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).
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
mailto:bagnara at cs.unipr.it
More information about the PPL-devel