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?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.defs.hh.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.inlines.hh... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/congruences1.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/congruen... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/Makefile... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addcongruence...