14 Aug
2002
14 Aug
'02
12:07 p.m.
CVSROOT: /cvs/ppl Module name: ppl Branch: alt_nnc Changes by: zaffanella@cs.unipr.it 2002-08-14 12:07:23
Modified files: src : ConSys.cc
Log message: In the skip_forward() method, avoid useless computations for necessarily closed constraint systems.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=ppl...