[PPL-devel] ppl src/Boundary.defs.hh src/Box.inlines.hh sr ...

[Roberto Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	bagnara at cs.unipr.it	2008-12-21 16:04:14

Modified files:
	src            : Boundary.defs.hh Box.inlines.hh 
	                 Box.templates.hh Interval.defs.hh 
	                 Interval.inlines.hh 
	                 Interval_Restriction.defs.hh 
	tests/Box      : Makefile.am 
Added files:
	tests/Box      : upperboundifexact1.cc 

Log message:
	New implementation of method Box::upper_bound_assign_if_exact(const Box&).

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Boundary.defs.hh.diff?cvsroot=ppl&r1=1.15&r2=1.16
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.inlines.hh.diff?cvsroot=ppl&r1=1.42&r2=1.43
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvsroot=ppl&r1=1.137&r2=1.138
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvsroot=ppl&r1=1.61&r2=1.62
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.inlines.hh.diff?cvsroot=ppl&r1=1.44&r2=1.45
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval_Restriction.defs.hh.diff?cvsroot=ppl&r1=1.15&r2=1.16
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/upperboundifexact1.cc?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cvsroot=ppl&r1=1.78&r2=1.79