[PPL-devel] ppl/src LP_Problem.cc

[Enea Zaffanella]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	zaffanella at cs.unipr.it	2006-09-08 21:47:55

Modified files:
	src            : LP_Problem.cc 

Log message:
	Avoid calling num_columns() on input_cs and pending_input_cs, since these
	constraint systems may be NNC and therefore have an extra column for
	the epsilon coefficient. Do call space_dimension(), instead, taking care
	of the offset.
	Adjusted some badly indented lines; adjusted some bad line breaks.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.cc.diff?cvsroot=ppl&r1=1.15&r2=1.16