Skip to content

Preserve bounds in SplitIntervalBridge#71

Merged
blegat merged 4 commits into
mainfrom
bl/split_interval
Jul 7, 2026
Merged

Preserve bounds in SplitIntervalBridge#71
blegat merged 4 commits into
mainfrom
bl/split_interval

Conversation

@blegat

@blegat blegat commented Jul 6, 2026

Copy link
Copy Markdown
Member

Closes #39

@codecov

codecov Bot commented Jul 6, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 100.00%. Comparing base (493981c) to head (208d3bf).

Additional details and impacted files
@@            Coverage Diff            @@
##              main       #71   +/-   ##
=========================================
  Coverage   100.00%   100.00%           
=========================================
  Files           11        11           
  Lines          548       581   +33     
=========================================
+ Hits           548       581   +33     

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

x = first(MOI.Utilities.eachscalar(bridge.func))
ret = if x isa MOI.VariableIndex || x isa MOI.ScalarAffineFunction{T}
cache = Dict{MOI.VariableIndex,NTuple{2,T}}()
MOI.Utilities.get_bounds(model, cache, x)

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@odow What's weird here is that get_bound returns nothing even if one of the two bounds exists. It makes sense for SOS1ToMILP since you want two bounds but in here, if there is only one bound, we could already work with it

@blegat blegat merged commit 8a047f9 into main Jul 7, 2026
5 checks passed
@blegat blegat deleted the bl/split_interval branch July 7, 2026 13:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

Failure with SOS1 reformulation

1 participant