CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci@cs.unipr.it 2001-12-20 09:21:43

Modified files: src : Polyhedron.cc

Log message: Modified the part of function Polyhedron::add_constraints(cs) that is controlled by "#if 0": used Matrix::grow(size_t, size_t) instead of resize(size_t, size_t) and swap instead of "=", where it is possible.

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