12 Feb
2002
12 Feb
'02
9:10 a.m.
CVSROOT: /cvs/ppl Module name: ppl Branch: positive Changes by: ericci@cs.unipr.it 2002-02-12 10:10:11
Modified files: src : minimize.cc
Log message: We must simplify also `dest' in function minimize to erase all redundant constraints in the case !con_to_gen. In functions minimize() and add_and_minimize(), in the case !con_to_gen, there was an error when we choose the constraints to erase.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=p...