[Bridges] fix ConstraintConflictStatus in added_constrained_variable_types

Author: odow

src/Bridges/bridge_optimizer.jl

@@ -1749,6 +1749,9 @@ function MOI.set(
     return throw(MOI.SettingVariableIndexNotAllowed())
 end
 
+_f_type(::Type{S}) where {S<:MOI.AbstractScalarSet} = MOI.VariableIndex
+_f_type(::Type{S}) where {S<:MOI.AbstractVectorSet} = MOI.VectorOfVariables
+
 function MOI.get(
     model::MOI.ModelLike,
     attr::MOI.ConstraintConflictStatus,
@@ -1765,6 +1768,17 @@ function MOI.get(
             end
         end
     end
+    for (S,) in MOI.Bridges.added_constrained_variable_types(typeof(bridge))
+        F = _f_type(S)
+        for ci in MOI.get(bridge, MOI.ListOfConstraintIndices{F,S}())
+            status = MOI.get(model, attr, ci)
+            if status == MOI.IN_CONFLICT
+                return status
+            elseif status == MOI.MAYBE_IN_CONFLICT
+                ret = status
+            end
+        end
+    end
     return ret
 end
 

test/Bridges/lazy_bridge_optimizer.jl

@@ -2328,6 +2328,47 @@ function test_issue_2838()
     return
 end
 
+MOI.Utilities.@model(
+    Model2870,
+    (),
+    (MOI.EqualTo,),
+    (),
+    (),
+    (),
+    (MOI.ScalarAffineFunction,),
+    (),
+    ()
+)
+
+function test_issue_2870()
+    inner = MOI.Utilities.MockOptimizer(MOI.Utilities.Model{Float64}())
+    model = MOI.Bridges.Constraint.ScalarSlack{Float64}(inner)
+    x = MOI.add_variable(model)
+    c = MOI.add_constraint(model, 2.0 * x, MOI.Interval(1.0, -1.0))
+    F, S = MOI.ScalarAffineFunction{Float64}, MOI.EqualTo{Float64}
+    ci_eq = only(MOI.get(inner, MOI.ListOfConstraintIndices{F,S}()))
+    F, S = MOI.VariableIndex, MOI.Interval{Float64}
+    ci_iv = only(MOI.get(inner, MOI.ListOfConstraintIndices{F,S}()))
+    function cmp(a, b)
+        if a == MOI.IN_CONFLICT || b == MOI.IN_CONFLICT
+            return MOI.IN_CONFLICT
+        elseif a == MOI.MAYBE_IN_CONFLICT || b == MOI.MAYBE_IN_CONFLICT
+            return MOI.MAYBE_IN_CONFLICT
+        else
+            return MOI.NOT_IN_CONFLICT
+        end
+    end
+    list = (MOI.NOT_IN_CONFLICT, MOI.IN_CONFLICT, MOI.MAYBE_IN_CONFLICT)
+    for a in list, b in list
+        MOI.set(inner, MOI.ConflictCount(), 1)
+        MOI.set(inner, MOI.ConstraintConflictStatus(), ci_eq, a)
+        MOI.set(inner, MOI.ConstraintConflictStatus(), ci_iv, b)
+        MOI.compute_conflict!(model)
+        @test MOI.get(model, MOI.ConstraintConflictStatus(), c) == cmp(a, b)
+    end
+    return
+end
+
 end  # module
 
 TestBridgesLazyBridgeOptimizer.runtests()