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

Mon Sep 4 11:26:59 CEST 2006

CVSROOT:	/cvs/ppl
Module name:	ppl
Branch: 	simplex
Changes by:	cimino at cs.unipr.it	2006-09-04 11:26:59

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

Log message:
	Big changes.
	Now the Status `UNSOLVED' is dropped because every LP_Problem,
	from the beginning, now is treated like `PARTIALLY_SATISFIABLE', so
	all the redundant code is dropped too. Other little, but important,
	bugfixes. This new implementation must be heavily tested.

Patches:
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.44&r2=1.1.2.45
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.26&r2=1.1.2.27
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.inlines.hh.diff?cvsroot=ppl&only_with_tag=simplex&r1=1.1.2.18&r2=1.1.2.19