[PPL-devel] NNC vs C polyhedra

[Sebastian Pop]

On Sun, Aug 24, 2008 at 11:32 AM, Roberto Bagnara <bagnara at 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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 1178_NNC_C.diff
Type: text/x-patch
Size: 4244 bytes
Desc: not available
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20080824/c971e752/attachment.bin>