CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella@cs.unipr.it 2002-03-20 17:32:12

Modified files: src : ConSys.cc

Log message: Corrected a bug in has_strict_inequalities() whereby we were returning "true" when finding the epsilon_geq_zero() constraint.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=ppl...