CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell@cs.unipr.it 2005-04-21 11:51:46
Modified files: src : Grid.defs.hh
Log message: Return a bool from update_congruences and simplify to indicate whether the grid is empty. Pass this return on in the minimize and add_and_minimize methods which call simplify. Assert an equal number of columns in the sources in the congruence to generator add_and_minimize\5.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot=...
This change should have been part of the following commit (http://www.cs.unipr.it/pipermail/ppl-devel/2005-April/005914.html), to which most of the comment pertains.
Matthew Mundell mundell@cs.unipr.it writes:
CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell@cs.unipr.it 2005-04-21 11:51:46
Modified files: src : Grid.defs.hh
Log message: Return a bool from update_congruences and simplify to indicate whether the grid is empty. Pass this return on in the minimize and add_and_minimize methods which call simplify. Assert an equal number of columns in the sources in the congruence to generator add_and_minimize\5.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot=...
PPL-devel mailing list PPL-devel@cs.unipr.it http://www.cs.unipr.it/mailman/listinfo/ppl-devel
participants (2)
-
Matthew Mundell -
Matthew Mundell