[PPL-devel] ppl src/BD_Shape.defs.hh src/BD_Shape.inlines. ...

[Patricia Hill]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	hill at 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