throw exception when it is asked to separate an equality constraint

hlefebvr · Oct 11, 2023 · 5338772 · 5338772
1 parent 1349087
commit 5338772
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/lib/src/optimizers/callbacks/CutSeparation.cpp b/lib/src/optimizers/callbacks/CutSeparation.cpp
@@ -20,6 +20,10 @@ idol::impl::CutSeparation::CutSeparation(CallbackEvent t_triggering_event,
         throw Exception("Adding non-linear cut is not available.");
     }
 
+    if (m_cut.type() == Equal) {
+        throw Exception("Separating equality constraints is not available.");
+    }
+
 }
 
 void idol::impl::CutSeparation::operator()(CallbackEvent t_event) {