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=ppl&only_with_tag=space_dim&r1=1.39.2.2&r2=1.39.2.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affinetrans.cc.diff?cvsroot=ppl&only_with_tag=space_dim&r1=1.1&r2=1.1.2.1 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/append1.cc.diff?cvsroot=ppl&only_with_tag=space_dim&r1=1.3&r2=1.3.2.1 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/append2.cc.diff?cvsroot=ppl&only_with_tag=space_dim&r1=1.4&r2=1.4.2.1 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error3.cc.diff?cvsroot=ppl&only_with_tag=space_dim&r1=1.4&r2=1.4.2.1 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/permute.cc.diff?cvsroot=ppl&only_with_tag=space_dim&r1=1.7.2.1&r2=1.7.2.2