CVSROOT: /cvs/ppl Module name: ppl Branch: space_dim Changes by: zaffanella@cs.unipr.it 2001-10-25 23:21:08

Modified files: src : Polyhedron.cc tests : affinetrans.cc append1.cc append2.cc error3.cc permute.cc

Log message: Going on ading the right dimension-compatibility checks. Now the tests are all passed (some of them changed to declare polyhedra dimensions in the constructors, other changed by calling operator add_dimensions_and_embed).

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/tests/affinetrans.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/append1.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/append2.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error3.cc.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/permute.cc.diff?cvsroot=...