CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2008-01-14 18:09:17 Modified files: src : BD_Shape.defs.hh BD_Shape.inlines.hh Octagonal_Shape.defs.hh Octagonal_Shape.inlines.hh Polyhedron.defs.hh Polyhedron.inlines.hh tests/BD_Shape : Makefile.am tests/Octagonal_Shape: Makefile.am tests/Polyhedron: addcongruence1.cc Added files: tests/BD_Shape : congruences1.cc tests/Octagonal_Shape: congruences1.cc Log message: Added methods for add_congruence_and_minimize in order that we have a uniform set of methods across all simple classes. Also corrected congruences() and minimized_congruences() in the BD_Shape and Octagonal_Shape domains which were wrong for empty elements. Added tests for all these methods which were untested. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvsroot=ppl&r1=1.109&r2=1.110 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?cvsroot=ppl&r1=1.155&r2=1.156 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.defs.hh.diff?cvsroot=ppl&r1=1.37&r2=1.38 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.inlines.hh.diff?cvsroot=ppl&r1=1.26&r2=1.27 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cvsroot=ppl&r1=1.329&r2=1.330 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.diff?cvsroot=ppl&r1=1.145&r2=1.146 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/congruences1.cc?cvsroot=ppl&rev=1.1 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.diff?cvsroot=ppl&r1=1.70&r2=1.71 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/congruences1.cc?cvsroot=ppl&rev=1.1 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/Makefile.am.diff?cvsroot=ppl&r1=1.23&r2=1.24 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addcongruence1.cc.diff?cvsroot=ppl&r1=1.9&r2=1.10