Skip to content

Conversation

@Joao-Dionisio
Copy link
Member

@jonathanberthias when you have the time, can you please take a look? I deleted scip.pyi and ran the script, generating the scip.pyi that's in this PR.

I also wrapped SCIPaddClique, and re-ran the script. It did add the stub to scip.pyi.

primal_bound: float = None
dual_bound: float = None
gap: float = None
primal_dual_integral: float = None
Copy link
Member Author

Choose a reason for hiding this comment

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

It has some problems with this statistics class, but this is going to be deprecated in favor of the JSON statistics

Copy link
Contributor

@jonathanberthias jonathanberthias left a comment

Choose a reason for hiding this comment

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

This is a great script, I'm surprised at how effective it is at reproducing the current stubs!
However, I do think it is overfitting the current state and will break as soon as we start improving the stubs as it will try to revert any changes we make.

lines.append(' @staticmethod')
lines.append(f' def {method}(*args, **kwargs): ...')
else:
lines.append(f' def {method}(self, *args, **kwargs): ...')
Copy link
Contributor

Choose a reason for hiding this comment

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

The script hardcodes the arguments to *args, **kwargs which won't work anymore once we start putting the exact arguments in the stubs.

Copy link
Member Author

Choose a reason for hiding this comment

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

ah yes, this will need to be revisited once we have the arguments, but I'm fairly confident that the AI will manage to incorporate the new types. But, in any case, until we do add the types, I wouldn't be too worried about merging this.

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.

3 participants