CVSROOT: /cvs/ppl
Module name: ppl
Branch: positive
Changes by: ericci(a)cs.unipr.it 2002-02-13 12:07:54
Modified files:
src : minimize.cc
Log message:
In functions minimize() and add_and_minimize(), to obtain the system of
constraints in the case !con_to_gen now we use conversion().
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=…
CVSROOT: /cvs/ppl
Module name: ppl
Branch: positive
Changes by: ericci(a)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=…
CVSROOT: /cvs/ppl
Module name: ppl
Branch: positive
Changes by: ericci(a)cs.unipr.it 2002-02-11 11:49:31
Modified files:
src : minimize.cc
Log message:
In function add_and_minimize, we must simplify `dest' in the case !con_to_gen
because it can contain redundant constraints.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=…
