CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2002-03-29 14:51:27

Modified files: src : PolyBase.cc PolyBase.defs.hh tests : NNCminimize4.cc

Log message: Added methods NNC_minimize_generators() and NNC_minimize_constraints(), which enforce NNC-minimization on only one system. They have a common kernel, which might be factored out in a "generic" NNC-minimization function (something like the simplify() method). Now test NNCminimize4.cc uses the (more lazy) NNC_minimize_constraints() function.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.defs.hh.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize4.cc.diff?cvs...