Update

Author: odow

src/FileFormats/NL/NL.jl

@@ -880,6 +880,14 @@ function MOI.get(model::Model, attr::MOI.AbstractModelAttribute)
     return MOI.get(inner, attr)
 end
 
+# It doesn't need the inner model
+function MOI.get(
+    model::Model,
+    attr::Union{MOI.VariableBridgingCost,MOI.ConstraintBridgingCost},
+)
+    return MOI.get_fallback(model, attr)
+end
+
 function MOI.get(
     model::Model,
     attr::MOI.AbstractConstraintAttribute,

src/Test/test_attribute.jl

@@ -393,3 +393,55 @@ function test_attribute_unsupported_constraint(model::MOI.ModelLike, ::Config)
 end
 
 version_added(::typeof(test_attribute_unsupported_constraint)) = v"1.9.0"
+
+"""
+    test_attribute_VariableBridgingCost(model::MOI.ModelLike, config::Config)
+
+Test that, for every set `S` that the model claims to support via
+`supports_add_constrained_variable(s)`, the corresponding
+[`MOI.VariableBridgingCost`](@ref) attribute returns a finite value.
+
+This is the variable-side analog of the `ConstraintBridgingCost` check in
+`_basic_constraint_test_helper`.
+
+The fallback works for most model but it may need custom method for some MOI
+layers (see https://github.com/jump-dev/MathOptInterface.jl/pull/3001#issuecomment-4468198935).
+
+This test is here to catch that.
+"""
+function test_attribute_VariableBridgingCost(
+    model::MOI.ModelLike,
+    ::Config{T},
+) where {T}
+    for S in Any[
+        MOI.GreaterThan{T},
+        MOI.LessThan{T},
+        MOI.EqualTo{T},
+        MOI.Interval{T},
+        MOI.Integer,
+        MOI.ZeroOne,
+        MOI.Semicontinuous{T},
+        MOI.Semiinteger{T},
+    ]
+        if MOI.supports_add_constrained_variable(model, S)
+            @test MOI.get(model, MOI.VariableBridgingCost{S}()) < Inf
+        end
+    end
+    for S in Any[
+        MOI.Reals,
+        MOI.Zeros,
+        MOI.Nonnegatives,
+        MOI.Nonpositives,
+        MOI.SecondOrderCone,
+        MOI.RotatedSecondOrderCone,
+        MOI.ExponentialCone,
+        MOI.PositiveSemidefiniteConeTriangle,
+    ]
+        if MOI.supports_add_constrained_variables(model, S)
+            @test MOI.get(model, MOI.VariableBridgingCost{S}()) < Inf
+        end
+    end
+    return
+end
+
+version_added(::typeof(test_attribute_VariableBridgingCost)) = v"1.52.0"

src/Test/test_basic_constraint.jl

@@ -255,6 +255,16 @@ function _basic_constraint_test_helper(
     ###
     @requires MOI.supports_constraint(model, F, S)
     ###
+    ### Test MOI.ConstraintBridgingCost
+    ###
+    # If `supports_constraint(F, S)` returns `true`, then the model must be
+    # able to handle that pair (possibly via bridging), so the bridging cost
+    # must be finite. The fallback works for most model but it may need
+    # custom method for some MOI layer (see
+    # https://github.com/jump-dev/MathOptInterface.jl/pull/3001#issuecomment-4468198935)
+    # This test is here to catch that.
+    @test MOI.get(model, MOI.ConstraintBridgingCost{F,S}()) < Inf
+    ###
     ### Test MOI.NumberOfConstraints
     ###
     @test MOI.get(model, MOI.NumberOfConstraints{F,S}()) == 0

src/Utilities/cachingoptimizer.jl

@@ -897,6 +897,16 @@ function MOI.get(model::CachingOptimizer, attr::MOI.AbstractModelAttribute)
     return _get_model_attribute(model, attr)
 end
 
+function MOI.get(
+    model::CachingOptimizer,
+    attr::Union{MOI.VariableBridgingCost,MOI.ConstraintBridgingCost},
+)::Float64
+    if state(model) == NO_OPTIMIZER
+        return MOI.get(model.model_cache, attr)
+    end
+    return MOI.get(model.optimizer, attr)
+end
+
 function MOI.get(
     model::CachingOptimizer,
     attr::MOI.TerminationStatus,

src/Utilities/universalfallback.jl

@@ -372,15 +372,6 @@ function MOI.get(
     return _get(uf, attr)
 end
 
-# `UniversalFallback` claims to support every `(F, S)` constraint pair and every
-# constrained-variable set via its catch-all `supports_constraint` /
-# `supports_add_constrained_variable(s)`. The bridging-cost attributes must
-# agree with that: if the inner model genuinely supports the pair/set, defer to
-# it; otherwise, `UniversalFallback` itself supports it (by caching the
-# constraint in its own dict), so the cost is `0.0`. The generic
-# `AbstractModelAttribute` getter above would otherwise forward to the inner
-# model — whose `get_fallback` returns `Inf` for unsupported pairs — even
-# though `UniversalFallback` claims support.
 function MOI.get(
     uf::UniversalFallback,
     attr::MOI.ConstraintBridgingCost{F,S},

test/Bridges/Constraint/test_IntervalToHyperRectangleBridge.jl

@@ -38,7 +38,7 @@ function test_basic(T)
         MOI.Utilities.UniversalFallback(MOI.Utilities.Model{T}()),
     )
     bridged_mock = MOI.Bridges.Constraint.IntervalToHyperRectangle{T}(mock)
-    config = MOI.Test.Config()
+    config = MOI.Test.Config(T)
     MOI.Test.runtests(
         bridged_mock,
         config,

test/FileFormats/NL/test_NL.jl

@@ -1542,6 +1542,17 @@ function test_unsupported_kwarg()
     return
 end
 
+function test_VariableBridgingCost()
+    model = NL.Model()
+    attr = MOI.VariableBridgingCost{MOI.LessThan{Float64}}()
+    @test MOI.get(model, attr) == 0
+    attr = MOI.ConstraintBridgingCost{MOI.VariableIndex,MOI.LessThan{Float64}}()
+    @test MOI.get(model, attr) == 0
+    attr = MOI.VariableBridgingCost{MOI.SecondOrderCone}()
+    @test isinf(MOI.get(model, attr))
+    return
+end
+
 end
 
 TestNLModel.runtests()

test/Utilities/test_cachingoptimizer.jl

@@ -1465,6 +1465,24 @@ function test_rethrow_set_model_attribute()
     return
 end
 
+function test_BridgingCost_NO_OPTIMIZER()
+    cache = MOI.Utilities.Model{Float64}()
+    model = MOI.Utilities.CachingOptimizer(cache, MOI.Utilities.AUTOMATIC)
+    @test MOI.Utilities.state(model) == MOI.Utilities.NO_OPTIMIZER
+    @test MOI.get(model, MOI.VariableBridgingCost{MOI.LessThan{Float64}}()) ==
+          0.0
+    @test MOI.get(model, MOI.VariableBridgingCost{MOI.LessThan{Int}}()) == Inf
+    @test MOI.get(
+        model,
+        MOI.ConstraintBridgingCost{MOI.VariableIndex,MOI.LessThan{Float64}}(),
+    ) == 0.0
+    @test MOI.get(
+        model,
+        MOI.ConstraintBridgingCost{MOI.VariableIndex,MOI.LessThan{Int}}(),
+    ) == Inf
+    return
+end
+
 end  # module
 
 TestCachingOptimizer.runtests()