CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella(a)cs.unipr.it 2008-12-01 11:25:07
Modified files:
src : NNC_Polyhedron.cc
Log message:
Restored old implementation of method poly_hull_assign_if_exact(), as
the algorithm in BFT00TR does not generalizes as is to the NNC case.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.cc.diff?cv…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella(a)cs.unipr.it 2008-12-01 11:02:32
Modified files:
tests/Polyhedron: polyhullifexact2.cc
Log message:
Added another test, showing that the algorithm in BFT00 can not be extented
as is to NNC polyhedra.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/polyhullifex…
