CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: ericci@cs.unipr.it 2002-11-12 11:52:42

Modified files: src : Polyhedron.defs.hh Polyhedron.cc Polyhedron.inlines.hh

Log message: Improved the case of pending system in Polyhedron::generators() and Polyhedron::minimize() and Polyhedron::intersection_assign(). Corrected operator<= in the case that one of the two polyhedra have something pending. Added the method Polyhedron::can_have_something_pending(). Considered the case of pending constraints or pending generators in concatenate_assign(), poly_hull_assign(), poly_hull_assign()_and_minimize, add_dimension_and_embed(), add_dimensions_and_project, remove_dimensions() remove_higher_dimensions, in all the methods that are used to add constraints and generators, in affine_image() and affine_preimage, in time_elapse_assign(), in check_universe(), in is_bounded() and bounds(), in is_topologically_closed() and in topological_closure_assign(), in Polyhedron::swap() and in Polyhedron(Topology topol, const Box& box).

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.diff...