CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci@cs.unipr.it 2001-10-29 16:46:08

Modified files: src : Polyhedron.cc

Log message: In Polyhedron(size_t num_dimensions, Degenerate_Kind kind) if we build an universe polyhedron the system of constraints is in the minimal form. In the function insert(Constraint) added the comment that specify why when we insert the constraint the polyhedron is non-empty.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot...