CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: ericci@cs.unipr.it 2002-11-13 10:58:16 Modified files: tests : Makefile.am addconstraints13.cc Added files: tests : addgenerators12.cc affineimage8.cc affinepreimage10.cc relations19.cc timeelapse8.cc Log message: Added some other tests that verify the methods Polyhedron::add_generators(), Polyhedron::add_generators_and_minimize(), Polyhedron::affine_image(), Polyhedron::affine_preimage(), Polyhedron::relation_with() and Polyhedron::time_elapse_assign() in the case in which the polyhedra can have something pending. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerators12.cc?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affineimage8.cc?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affinepreimage10.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations19.cc?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/timeelapse8.cc?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints13.cc.diff...