CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2006-11-27 15:23:27

Modified files: src : Pointset_Powerset.defs.hh

Log message: Little adjustments to the documentation: prefer "disjuncts" to "polyhedra" when talking about elements of a Pointset_Powerset. Added declarations for the Pointset_Powerset<Grid> specializations of methods poly_difference_assign() and geometrically_covers().

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.defs.hh....