Don't mark complementarity expression #237

NL accepts expressions in the expression part
ampl · May 1, 2024 · 4a47a18 · 4a47a18
1 parent e20edc5
commit 4a47a18
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/include/mp/flat/constr_2_expr.h b/include/mp/flat/constr_2_expr.h
@@ -47,7 +47,13 @@ class Constraints2Expr {
   void DoMarkArgsAsVars(   // needs to appear before the most generic template
       const AlgebraicConstraint<Body, RhsOrRange>& , int ) { }
 
-  /// @todo not mark Complementarity (NL accepts expressions)
+  /// Complementarity: only mark the var
+  /// (NL accepts expressions for the expression part)
+  template <class Expr>
+  void DoMarkArgsAsVars(   // needs to appear before the most generic template
+      const ComplementarityConstraint<Expr>& cc, int ) {
+    MPD( MarkAsResultVar(cc.GetVariable()) );
+  }
 
   /// Generic arguments marking call
   template <class Con>