CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci@cs.unipr.it 2002-02-25 10:02:31

Modified files: tests : Makefile.am Added files: tests : addconstraints10.cc addconstraints11.cc addconstraints4.cc addconstraints5.cc addconstraints6.cc addconstraints7.cc addconstraints8.cc addconstraints9.cc adddimensions2.cc adddimensions3.cc adddimensions4.cc addgenerators3.cc addgenerators4.cc addgenerators5.cc addgenerators6.cc affineimage2.cc affinepreimage1.cc affinepreimage2.cc affinepreimage3.cc affinepreimage4.cc convexhull2.cc convexhull3.cc error10.cc error11.cc error12.cc error13.cc error14.cc error15.cc error16.cc error17.cc error18.cc error19.cc error20.cc error21.cc error22.cc error23.cc error24.cc error25.cc error26.cc error27.cc error6.cc error7.cc error8.cc error9.cc includes2.cc includes3.cc includes4.cc inters4.cc inters5.cc inters6.cc removedim5.cc removedim6.cc satisfies2.cc satisfies3.cc universe1.cc universe2.cc universe3.cc universe4.cc universe5.cc

Log message: Added new tests for the functions of the Polyhedron class.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints10.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints11.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints4.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints5.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints6.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints7.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints8.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints9.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/adddimensions2.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/adddimensions3.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/adddimensions4.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerators3.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerators4.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerators5.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerators6.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affineimage2.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affinepreimage1.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affinepreimage2.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affinepreimage3.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affinepreimage4.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/convexhull2.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/convexhull3.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error10.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error11.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error12.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error13.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error14.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error15.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error16.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error17.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error18.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error19.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error20.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error21.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error22.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error23.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error24.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error25.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error26.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error27.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error6.cc.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error7.cc.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error8.cc.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error9.cc.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/includes2.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/includes3.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/includes4.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/inters4.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/inters5.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/inters6.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removedim5.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removedim6.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/satisfies2.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/satisfies3.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/universe1.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/universe2.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/universe3.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/universe4.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/universe5.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroot...