Skip to content

Rename intersection to set_intersection#1646

Merged
lockshaw merged 3 commits into
flexflow:masterfrom
lockshaw:rename-set-intersection
Jun 1, 2026
Merged

Rename intersection to set_intersection#1646
lockshaw merged 3 commits into
flexflow:masterfrom
lockshaw:rename-set-intersection

Conversation

@lockshaw
Copy link
Copy Markdown
Collaborator

@lockshaw lockshaw commented Jun 1, 2026

Description of changes:

Rename intersection to set_intersection for consistency with set_union.

Related Issues:

Linked Issues:

  • Issue #

Issues closed by this PR:

  • Closes #

This change is Reviewable

@lockshaw lockshaw requested a review from elliottslaughter June 1, 2026 22:00
@lockshaw lockshaw merged commit 8c12331 into flexflow:master Jun 1, 2026
2 checks passed
@lockshaw lockshaw deleted the rename-set-intersection branch June 1, 2026 22:36
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