CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2008-09-13 15:52:09

Modified files: src : Grid.defs.hh Grid.inlines.hh Grid_nonpublic.cc Grid_public.cc

Log message: Added private helper methods add_constraint/congruence_no_check and refine_no_check. Adapted to new semantics whereby refining will ignore nontrivial inequalities, whereas adding will throw.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.inlines.hh.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsroo...