CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara@cs.unipr.it 2006-11-05 14:31:20 Added files: tests/Box : .cvsignore Makefile.am addconstraints1.cc addspacedims1.cc affinedimension1.cc affineimage1.cc affinepreimage1.cc ascii_dump_load1.cc bdsdifference1.cc bgp99extrapolation1.cc bhz03widening1.cc bounded1.cc boundedaffineimage1.cc boxhull.cc cc76narrowing1.cc cc76widening.cc closure1.cc concatenate1.cc constraints1.cc contains1.cc containsintegerpoint1.cc discrete1.cc disjoint1.cc empty1.cc equality1.cc expandspacedim1.cc foldspacedims1.cc fromgensys1.cc frompolyhedron1.cc generalizedaffineimage1.cc generalizedaffinepreimage1.cc geomcovers1.cc intersection1.cc mapspacedims1.cc maxspacedim1.cc membytes1.cc minconstraints1.cc relations1.cc removespacedims1.cc timeelapse1.cc universe1.cc writebox1.cc Log message: Ripped from the tests/BD_Shape directory to serve as a basis for building the Box testsuite. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/.cvsignore?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/addconstraints1.cc?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/addspacedims1.cc?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/affinedimension1.cc?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/affineimage1.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/affinepreimage1.cc?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/ascii_dump_load1.cc?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/bdsdifference1.cc?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/bgp99extrapolation1.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/bhz03widening1.cc?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/bounded1.cc?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/boundedaffineimage1.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/boxhull.cc?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/cc76narrowing1.cc?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/cc76widening.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/closure1.cc?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/concatenate1.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/constraints1.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/contains1.cc?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/containsintegerpoint... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/discrete1.cc?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/disjoint1.cc?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/empty1.cc?cvsroot=pp... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/equality1.cc?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/expandspacedim1.cc?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/foldspacedims1.cc?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/fromgensys1.cc?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/frompolyhedron1.cc?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/generalizedaffineima... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/generalizedaffinepre... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/geomcovers1.cc?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/intersection1.cc?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/mapspacedims1.cc?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/maxspacedim1.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/membytes1.cc?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/minconstraints1.cc?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/relations1.cc?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/removespacedims1.cc?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/timeelapse1.cc?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/universe1.cc?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/writebox1.cc?cvsroot...