Skip to content

Adds open and closed intervals#35

Merged
jwaldrop107 merged 3 commits into
mainfrom
interval_update
May 6, 2026
Merged

Adds open and closed intervals#35
jwaldrop107 merged 3 commits into
mainfrom
interval_update

Conversation

@ryanmrichard
Copy link
Copy Markdown
Contributor

Title. I needed open intervals to implement partitioned affine intervals.

AFAIK Boost only supports closed intervals, so I rolled the logic myself. This created a rather nasty series of if/else statements on the backend of the Interval class. I strongly suspect the open/closed-ness of an operation follows some sort of boolean algebra and can be optimized by working that algebra out. That's a task for another day. For now, the focus is on correctness.

@ryanmrichard ryanmrichard requested a review from jwaldrop107 May 6, 2026 15:21
@ryanmrichard ryanmrichard self-assigned this May 6, 2026
@ryanmrichard
Copy link
Copy Markdown
Contributor Author

r2g

Copy link
Copy Markdown
Contributor

@jwaldrop107 jwaldrop107 left a comment

Choose a reason for hiding this comment

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

LGTM

@jwaldrop107 jwaldrop107 merged commit a9eb914 into main May 6, 2026
11 checks passed
@ryanmrichard ryanmrichard deleted the interval_update branch May 6, 2026 17:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants