[PPL-devel] ppl src/Polyhedra_Powerset.inlines.hh src/Poly ...

[Roberto Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	bagnara at cs.unipr.it	2006-09-19 17:32:47

Modified files:
	src            : Polyhedra_Powerset.inlines.hh 
	                 Polyhedra_Powerset.templates.hh 
	                 Powerset.defs.hh Powerset.inlines.hh 
	                 Powerset.templates.hh 
	tests/Polyhedron: powerset1.cc 

Log message:
	Powerset implementation made more lazy.  Fixed a couple of FIXMEs.
	Methods Powerset::add_non_bottom_disjunct() renamed
	add_non_bottom_disjunct_preserve_reduction(), since the true emphasis
	is on preserving reduction.  This required the addition of two FIXMEs
	concerning the implementation of Polyhedra_Powerset, as it is not clear
	whether the preservation of reduction was an issue there.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.inlines.hh.diff?cvsroot=ppl&r1=1.41&r2=1.42
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.templates.hh.diff?cvsroot=ppl&r1=1.3&r2=1.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Powerset.defs.hh.diff?cvsroot=ppl&r1=1.25&r2=1.26
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Powerset.inlines.hh.diff?cvsroot=ppl&r1=1.16&r2=1.17
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Powerset.templates.hh.diff?cvsroot=ppl&r1=1.2&r2=1.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/powerset1.cc.diff?cvsroot=ppl&r1=1.14&r2=1.15