CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2008-09-12 10:53:11

Modified files: src : Grid_public.cc tests/Grid : addconstraint1.cc addconstraints1.cc refinewithcongruences1.cc refinewithconstraints1.cc

Log message: When the constraint is an inequality and inconsistent, then adding it to a grid or using it to refine the grid will result in the empty grid. Tests added to check this.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addconstraint1.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addconstraints1.cc.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/refinewithcongruenc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/refinewithconstrain...