CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2008-11-14 12:16:03

Modified files: tests/Box : Makefile.am tests/Polyhedron: polydifference1.cc tests/Powerset : Makefile.am fromconstraints1.cc fromspacedimension1.cc Added files: tests/Powerset : addcongruences1.cc addconstraints1.cc affinedimension1.cc affineimage1.cc affinepreimage1.cc bounded1.cc bounds1.cc closed1.cc closure1.cc collapse1.cc concatenate1.cc contains1.cc difference1.cc discrete1.cc disjoint1.cc disjunct1.cc empty1.cc entails1.cc equals1.cc intersection1.cc maxmin1.cc meet1.cc membytes1.cc reduce1.cc refinewith1.cc relationwith1.cc size1.cc spacedims1.cc universe1.cc upperbound1.cc Removed files: tests/Box : pointsetpowerset1.cc tests/Powerset : pointsetpowerset1.cc pointsetpowerset2.cc pointsetpowerset3.cc pointsetpowerset4.cc pointsetpowerset5.cc product1.cc

Log message: Completed a reorganization of the tests for the Powerset domains.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/pointsetpowerset1.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/polydifferenc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/addcongruences1... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/addconstraints1... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/affinedimension... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/affineimage1.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/affinepreimage1... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/bounded1.cc?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/bounds1.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/closed1.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/closure1.cc?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/collapse1.cc?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/concatenate1.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/contains1.cc?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/difference1.cc?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/discrete1.cc?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/disjoint1.cc?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/disjunct1.cc?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/empty1.cc?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/entails1.cc?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/equals1.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/intersection1.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/maxmin1.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/meet1.cc?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/membytes1.cc?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/reduce1.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/refinewith1.cc?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/relationwith1.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/size1.cc?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/spacedims1.cc?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/universe1.cc?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/upperbound1.cc?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/Makefile.am.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/fromconstraints... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/fromspacedimens... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/pointsetpowerse... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/pointsetpowerse... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/pointsetpowerse... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/pointsetpowerse... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/pointsetpowerse... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/product1.cc.dif...