24 May
2002
24 May
'02
10:34 a.m.
CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci@cs.unipr.it 2002-05-24 10:34:42
Modified files: src : Constraint.cc
Log message: Corrected an error in the function Constraint::is_trivial_true(): a strict inequality such as `lhs - k > 0' can not be trivial true if `k' is a non negative integer.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.cc.diff?cvsroot...