From 1b62592015ec1ca042582404db12467f5b9fecfa Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Thu, 18 May 2017 13:44:00 -0700 Subject: [PATCH] change in a comment Signed-off-by: Lev Nachmanson --- src/util/lp/mps_reader.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/util/lp/mps_reader.h b/src/util/lp/mps_reader.h index af9ae6b4e..4c793d56e 100644 --- a/src/util/lp/mps_reader.h +++ b/src/util/lp/mps_reader.h @@ -651,11 +651,11 @@ class mps_reader { /* If rhs is a constraint's right-hand-side value and range is the constraint's range value, then the range interval is defined according to the following table: - sense interval G [rhs, rhs + |range|] L [rhs - |range|, rhs] - E [rhs, rhs + |range|] if range in [rhs - |range|, rhs] if range < 0 + E [rhs, rhs + |range|] if range > 0, + [rhs - |range|, rhs] if range < 0 where |range| is range's absolute value. */