CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2007-11-05 09:01:03
Modified files: src : Partially_Reduced_Product.inlines.hh tests : print.hh tests/Grid : Makefile.am directproduct1.cc directproduct2.cc directproduct3.cc directproduct4.cc directproduct5.cc directproduct6.cc Removed files: tests/Grid : directproduct7.cc
Log message: Completely revised the test files directproduct?.cc In tests/print.hh, added to the print options for the tests: print_constraints(const Parma_Polyhedra_Library::Partially_Reduced_Product<D1, D2, R>& pd, print_congruences(const Parma_Polyhedra_Library::Partially_Reduced_Product<D1, D2, R>& pd, Corrected the implementation of strictly_contains() for Partially_Reduced_Product domains.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/print.hh.diff?cvsroot=pp... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct1.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct2.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct3.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct4.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct5.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct6.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct7.cc.d...