CVSROOT: /usr/local/cvsroot/pma2000
Module name: Polyhedra
Changes by: stazzone(a)sandbox.cs.unipr.it 01/06/11 17:00:45
Modified files:
src : GenSys.cc GenSys.defs.hh GenSys.inlines.hh
Log message:
Removed some useless doxygen \fn directive.
Small changes in comments.
Still something not clear in generators_satisfy_constraint()
and some AP comment to understand.
CVSROOT: /usr/local/cvsroot/pma2000
Module name: Polyhedra
Changes by: roberto(a)sandbox.cs.unipr.it 01/06/10 23:38:58
Modified files:
test : bug3.dat
Log message:
Assume almost nothing from the input: only generators are up to date
and not even necessarily minimized.
Wild guess: perhaps add_and_minimize() does not minimize?
