CVSROOT: /cvs/ppl
Module name: ppl
Branch: strict
Changes by: zaffanella(a)cs.unipr.it 2002-03-24 20:02:16
Modified files:
src : PolyBase.cc
Log message:
Method check_universe() is now correct for NNC polyhedra.
Try to exploit the boolean value returned by update_generators() to
shorthen computations when possible.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=…
