CVSROOT: /cvs/ppl
Module name: ppl
Branch: alt_nnc
Changes by: zaffanella(a)cs.unipr.it 2002-08-13 21:05:58
Modified files:
src : Polyhedron.cc
Log message:
add_constraints_and_minimize() should now be ok for the new NNC repr.
Added a couple of FIXME's to mark methods that still need to be
adjusted.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…
CVSROOT: /cvs/ppl
Module name: ppl
Branch: alt_nnc
Changes by: zaffanella(a)cs.unipr.it 2002-08-13 16:44:18
Modified files:
src : Polyhedron.cc
Log message:
Most methods now correctly use the new NNC representation
(notable exceptions: the wideinings and the boundingbox operators).
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…
CVSROOT: /cvs/ppl
Module name: ppl
Branch: alt_nnc
Changes by: zaffanella(a)cs.unipr.it 2002-08-13 16:42:34
Modified files:
src : minimize.cc
Log message:
When con_to_gen is false, no longer checking for the presence of the
positivity constraint (C) or the presence of eps_geq_zero (NNC).
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=…