[PPL-devel] ppl/src Generator.defs.hh LP_Problem.cc LP_Pro ...

[Andrea Cimino]

CVSROOT:	/cvs/ppl
Module name:	ppl
Branch: 	simplex
Changes by:	cimino at cs.unipr.it	2006-02-05 18:38:35

Modified files:
	src            : Generator.defs.hh LP_Problem.cc 
	                 LP_Problem.defs.hh 

Log message:
	LP_Problem, during the incrementality process, checks
	if an inequality is already satisfied by `last_generator':
	this can save a lot of time.
	LP_Problem declared friend of Generator to allow a right use
	of Scalar_Products.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.111.2.1&r2=1.111.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.cc.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.1.2.25&r2=1.1.2.26
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.defs.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.1.2.20&r2=1.1.2.21