Restore propagation from objective #184

Restoring objective value is ensured by CopyLink which copies without conflict resolution
ampl · Jul 24, 2023 · d1e6522 · d1e6522
1 parent 83b6f9d
commit d1e6522
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 5 deletions.
diff --git a/include/mp/flat/problem_flattener.h b/include/mp/flat/problem_flattener.h
@@ -188,10 +188,12 @@ class ProblemFlattener :
             GetValuePresolver().GetTargetNodes().GetObjValues()().Add() });
     /// After the CopyLink, add One2ManyLink for converted expressions.
     /// When postsolving, CopyLink is executed last and copies obj values.
-    /// !!!! Temporarily removing AutoLinking for objectives
-//    pre::AutoLinkScope<FlatConverterType> auto_link_scope{
-//      GetFlatCvt(), obj_src
-//    };
+    /// This should resolve the issue of the "max-out"
+    /// value conflict resolution.
+    /// Tested by suf_common/funcpieces_01_01_obj.mod.
+    pre::AutoLinkScope<FlatConverterType> auto_link_scope{
+      GetFlatCvt(), obj_src
+    };
     auto le = ToLinTerms(obj.linear_expr());
     NumericExpr e = obj.nonlinear_expr();
     EExpr eexpr;

diff --git a/test/end2end/cases/categorized/fast/suf_common/modellist.json b/test/end2end/cases/categorized/fast/suf_common/modellist.json
@@ -163,7 +163,7 @@
     "options": { "ANYSOLVER_options": "debug=1" },
     "comment": "test suffix should be 58, but obj auto-link is currently off",
     "values": {
-      "Initial.test_funcpieces_presolved": 38
+      "Initial.test_funcpieces_presolved": 58
     }
   }
 ]