wip

Author: guimarqu

src/Bridges/Constraint/interval.jl

@@ -1,5 +1,5 @@
-_lower_set(set::MOI.Interval) = MOI.GreaterThan(set.lower)
-_upper_set(set::MOI.Interval) = MOI.LessThan(set.upper)
+_lower_set(set::MOI.Interval) = isinf(set.lower) ? MOI.ExtendedGreaterThan(set.lower) : MOI.GreaterThan(set.lower)
+_upper_set(set::MOI.Interval) = isinf(set.upper) ? MOI.ExtendedLessThan(set.upper) : MOI.LessThan(set.upper)
 _lower_set(set::MOI.EqualTo) = MOI.GreaterThan(set.value)
 _upper_set(set::MOI.EqualTo) = MOI.LessThan(set.value)
 _lower_set(set::MOI.Zeros) = MOI.Nonnegatives(set.dimension)
@@ -267,3 +267,31 @@ function MOI.get(
 ) where {T,F}
     return MOI.Zeros(MOI.get(model, attr, bridge.lower).dimension)
 end
+
+
+# guimarqu : new bridge (to improve)
+"""
+    UnextendBridge
+
+Bridge for ExtendedGreatherThan to GreaterThan ...
+"""
+struct UnextendBridge{
+    T,
+    F<:MOI.AbstractFunction,
+    ES<:MOI.AbstractSet,
+    S<:MOI.AbstractSet
+} <: AbstractBridge
+    non_extended::Union{Nothing, CI{F,S}}
+end
+
+function bridge_constraint(
+    ::Type{UnextendBridge{T,F,ES,S}},
+    model::MOI.ModelLike,
+    f::F,
+    set::S,
+) where {T,F,ES,S}
+    if isinf(set.value)
+        return UnextendBridge{T,F,ES,S}(nothing)
+    end
+    return UnextendBridge{T,F,ES,S}(MOI.GreaterThan(3))
+end

src/sets.jl

@@ -162,6 +162,11 @@ struct GreaterThan{T<:Real} <: AbstractScalarSet
     lower::T
 end
 
+# guimarqu
+struct ExtendedGreaterThan{T<:Real} <: AbstractScalarSet
+    lower::T
+end
+
 """
     LessThan{T <: Real}(upper::T)
 
@@ -171,6 +176,11 @@ struct LessThan{T<:Real} <: AbstractScalarSet
     upper::T
 end
 
+# guimarqu
+struct ExtendedLessThan{T<:Real} <: AbstractScalarSet
+    lower::T
+end
+
 """
     EqualTo{T <: Number}(value::T)
 

test/Bridges/Constraint/interval.jl

@@ -12,6 +12,7 @@ mock = MOIU.MockOptimizer(MOIU.UniversalFallback(MOIU.Model{Float64}()))
 config = MOIT.TestConfig()
 config_with_basis = MOIT.TestConfig(basis = true)
 
+
 @testset "Split" begin
     T = Float64
     bridged_mock = MOIB.Constraint.SplitInterval{T}(mock)
@@ -32,6 +33,46 @@ config_with_basis = MOIT.TestConfig(basis = true)
     )
 end
 
+@testset "my test" begin
+    bridged_mock = MOIB.Constraint.SplitInterval{Float64}(mock)
+
+    MOIU.set_mock_optimize!(
+        mock,
+        (mock::MOIU.MockOptimizer) -> MOIU.mock_optimize!(
+            mock,
+            [1.0, -1.0, 1.0],
+        ),
+    )
+
+    # variables: x, y, z
+    # maxobjective: x + -1y + z
+    # c1: x in Interval(-Inf, 1.0)
+    # c2: y in Interval(-1.0, Inf)
+    # c3: z in Interval(-Inf, Inf)
+    # c4: 1z <= 1.0
+    MOIT.solve_one_sided_intervals(bridged_mock, config_with_basis)
+
+    println("====== ****** ======")
+    for (i, b) in bridged_mock.map.single_variable_constraints
+        @show MOI.get(bridged_mock.model, MOI.ConstraintSet(), b.lower)
+        @show MOI.get(bridged_mock.model, MOI.ConstraintSet(), b.upper)
+    end
+
+    println("====== ****** ======")
+
+    @show MOI.get(
+            bridged_mock,
+            MOI.ListOfConstraintIndices{
+                MOI.SingleVariable,
+                MOI.Interval{Float64},
+            }(),
+        )
+
+    
+    
+end
+exit()
+
 @testset "Interval" begin
     bridged_mock = MOIB.Constraint.SplitInterval{Float64}(mock)
     MOIU.set_mock_optimize!(