[PPL-devel] ppl/src Polyhedron.cc

[Elisa Ricci]

CVSROOT:	/cvs/ppl
Module name:	ppl
Branch: 	alt_nnc
Changes by:	ericci at 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=ppl&only_with_tag=alt_nnc&r1=1.199.2.23&r2=1.199.2.24