CVSROOT: /cvs/ppl Module name: ppl Branch: alt_nnc Changes by: ericci@cs.unipr.it 2002-10-23 12:19:19

Modified files: src : Polyhedron.cc

Log message: Corrected a problem in Polyhedron::is_BBRZ02_stabilizing(x, y): the vector `x_num_rays' must have `x.gen_sys.num_columns() - 1' elements and not `x.space_dimension()'. We have done the same change for the vector `y_num_rays'.

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