Again some more UEnc

Do it when N different values in comparisons > 1/3 card(domain)
ampl · Oct 30, 2023 · eb38ec2 · eb38ec2
1 parent 37f1f6f
commit eb38ec2
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/include/mp/flat/redef/MIP/converter_mip.h b/include/mp/flat/redef/MIP/converter_mip.h
@@ -264,7 +264,10 @@ class MIPFlatConverter
     return false;
   }
 
-  bool DontNeedEqEncForVar(int , const SingleVarEqConstMap& map) {
+  bool DontNeedEqEncForVar(int var, const SingleVarEqConstMap& map) {
+    if (3 * map.size()   // Use UEnc if we have >1/3 of the domain values
+        > MPCD(ub(var))-MPCD(lb(var)))
+      return false;
     int nNegCtx = 0;
     const auto& ck = GET_CONSTRAINT_KEEPER(CondLinConEQ);
     for (const auto& el: map) {