CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci@cs.unipr.it 2002-02-25 17:28:07

Modified files: tests : Makefile.am addconstraints10.cc addconstraints11.cc addconstraints2.cc addconstraints4.cc addconstraints5.cc addconstraints6.cc addconstraints7.cc addconstraints8.cc addconstraints9.cc adddimensions1.cc adddimensions2.cc adddimensions3.cc adddimensions4.cc addgenerators1.cc addgenerators2.cc addgenerators3.cc addgenerators4.cc addgenerators5.cc addgenerators6.cc affineimage1.cc affineimage2.cc affinepreimage1.cc affinepreimage2.cc affinepreimage3.cc affinepreimage4.cc convexdifference1.cc convexhull1.cc convexhull2.cc includes2.cc includes3.cc includes4.cc inters3.cc inters4.cc inters5.cc inters6.cc limitedwidening1.cc removedim2.cc removedim3.cc removedim4.cc removedim5.cc removedim6.cc satisfies1.cc satisfies2.cc satisfies3.cc universe1.cc universe2.cc universe3.cc universe4.cc universe5.cc Added files: tests : error28.cc error29.cc

Log message: We use the functions of the file print.hh to print when it is possible. Added two tests for the functions Polyhedron::add_generators() and Polyhedron::add_generators_and_minimize().

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error28.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error29.cc.diff?cvsroot=... 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/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/addconstraints2.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/adddimensions1.cc.diff?c... 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/addgenerators1.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerators2.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/affineimage1.cc.diff?cvs... 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/convexdifference1.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/convexhull1.cc.diff?cvsr... 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/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/inters3.cc.diff?cvsroot=... 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/limitedwidening1.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removedim2.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removedim3.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removedim4.cc.diff?cvsro... 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/satisfies1.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...