Changeset 2075 for stable

Timestamp:

Sep 22, 2014 5:26:34 AM (5 years ago)

Author:

forrest

Message:

change OsiCbc? isProven

File:

• stable/2.8/Cbc/src/OsiCbc/OsiCbcSolverInterface.cpp (modified) (1 diff)

stable/2.8/Cbc/src/OsiCbc/OsiCbcSolverInterface.cpp

@@ -127 +127 @@
 bool OsiCbcSolverInterface::isProvenOptimal() const
 {
-  return modelPtr_->solver()->isProvenOptimal();
+  if (modelPtr_->status()==0)
+    return modelPtr_->isProvenOptimal();
+  else
+    return modelPtr_->solver()->isProvenOptimal();
 }
 
 bool OsiCbcSolverInterface::isProvenPrimalInfeasible() const
 {
-  return modelPtr_->solver()->isProvenPrimalInfeasible();
+  if (modelPtr_->status()==0)
+    return modelPtr_->isProvenInfeasible();
+  else
+    return modelPtr_->solver()->isProvenPrimalInfeasible();
 }