CVSROOT: /cvs/ppl Module name: ppl Branch: alt_nnc Changes by: zaffanella@cs.unipr.it 2002-08-14 11:05:58
Modified files: src : ConSys.cc ConSys.defs.hh ConSys.inlines.hh Constraint.defs.hh Constraint.cc
Log message: Now the iterators on constraint systems do skip the next constraint when the current one is a strict inequality and the next one is a non-strict inequality matching the current one (we still skip trivial-true constraints).
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.inlines.hh.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.cc.diff?cvsroot...