21 Apr
2005
21 Apr
'05
11:51 a.m.
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=...