Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Leaves many #273

Merged
merged 9 commits into from
Dec 4, 2024
Merged

Leaves many #273

merged 9 commits into from
Dec 4, 2024

Conversation

fcollman
Copy link
Collaborator

@fcollman fcollman commented Dec 3, 2024

adds the ability to use leaves_many from a list of root_ids to the get_leaves function.

@fcollman fcollman requested review from bdpedigo and sdorkenw December 3, 2024 15:10
@fcollman
Copy link
Collaborator Author

fcollman commented Dec 3, 2024

Not sure if everyone likes this overloading of this method or would prefer that it is broken out in a seperate method

@bdpedigo
Copy link
Collaborator

bdpedigo commented Dec 3, 2024

Not sure if everyone likes this overloading of this method or would prefer that it is broken out in a seperate method

this was going to be my comment, I think avoiding variable types on the output is helpful so I lean separate method, personally

@fcollman
Copy link
Collaborator Author

fcollman commented Dec 4, 2024

that was sven's instinct too.. i have moved it to a seperate method.

@fcollman fcollman merged commit be76e20 into master Dec 4, 2024
16 checks passed
kebwi pushed a commit that referenced this pull request Dec 9, 2024
* adding leaves many

* add test

* fix test

* fix test again

* move to seperate method

* cleaning up doc string

* fixing dictionary return

* fix formatting

* fixing test
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.

None yet

2 participants