CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara@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... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.templat... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Powerset.defs.hh.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Powerset.inlines.hh.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Powerset.templates.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/powerset1.cc....