CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2002-04-04 10:22:02

Modified files: src : Polyhedron.cc Polyhedron.defs.hh Polyhedron.inlines.hh

Log message: All functions created to throw exceptions are now private methods of the class Polyhedron. Exception messages modified to reflect the changes in the names of the classes and in the names of methods (e.g., add_constraint instead of insert). Added topology-compatibility test to method swap(Polyhedron& y). In all public methods, we now first check for topology inconsistencies, then we check for dimension inconsistencies.

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