CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2007-03-13 12:12:33

Modified files: src : Polyhedron_widenings.cc

Log message: Applied a workaround in private method select_H79_constraints() so as to correctly deal with NNC polyhedra. A too strong assertion made weaker: due to the value of the epsilon coordinate, the sign of the scalar product can be anything when the polyhedra are NNC, the constraint from x is strict and the generator from y is a point.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.di...