[PPL-devel] ppl/src Makefile.am Polyhedron.defs.hh Polyhed ...
zaffanella at cs.unipr.it
Fri May 7 19:43:18 CEST 2004
Module name: ppl
Changes by: zaffanella at cs.unipr.it 2004-05-07 19:43:18
src : Makefile.am Polyhedron.defs.hh
Changed to use the new BHRZ03_Certificate class.
Current implementation for NNC polyhedra is an inefficient kludge,
but should be correct. It will become efficient as soon as we implement
lazy procedures for eps-minimization of NNC polyhedra.
More information about the PPL-devel