CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2005-11-08 16:45:31

Modified files: src : BD_Shape.inlines.hh

Log message: Corrected a couple of stupid bugs in the copy constructor and assignment operator of BD_Shape. A few useful functions related to the computation of leaders have been extracted from shortest_path_reduction_assign(), so as to factor common code in minimized_constraints() and affine_dimension(). The method minimized_constraints() should now return a constraint system in minimal form, exploiting redundancy information. The method constraints() now invokes minimized_constraints() if the BD_Shape is known to be reduced.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?c...