CVSROOT: /cvs/ppl Module name: ppl Branch: positive Changes by: ericci@cs.unipr.it 2002-02-11 10:57:34

Modified files: src : minimize.cc conversion.cc simplify.cc

Log message: In function add_and_minimize and in the case of !con_to_gen, the system of constraints (that in this case is `dest') must contain the constraints of positivity of variables. In minimize and add_and_minimize, we must erase the constraints that are a linear combination of an equality and a constraint of positivity of variables.

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