CVSROOT: /cvs/ppl Module name: ppl Branch: positive Changes by: ericci@cs.unipr.it 2002-02-07 12:25:25

Modified files: src : Row.cc minimize.cc

Log message: Corrected an error in the function Row::only_a_term_is_positive(). In minimize and in the case !con_to_gen we must call simplify() also for the `dest' because there is the possibility that constraints that are redundant with the constraints of positivity of variables are present in dest.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&am... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=p...