We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
models.interface
Might be included in another issue already? TODOs by @sdrave are https://github.com/pymor/pymor/blob/main/src/pymor/models/interface.py#L373 https://github.com/pymor/pymor/blob/main/src/pymor/models/interface.py#L394 https://github.com/pymor/pymor/blob/main/src/pymor/models/interface.py#L405 https://github.com/pymor/pymor/blob/main/src/pymor/models/interface.py#L414
The text was updated successfully, but these errors were encountered:
sdrave
Successfully merging a pull request may close this issue.
Might be included in another issue already?
TODOs by @sdrave are
https://github.com/pymor/pymor/blob/main/src/pymor/models/interface.py#L373
https://github.com/pymor/pymor/blob/main/src/pymor/models/interface.py#L394
https://github.com/pymor/pymor/blob/main/src/pymor/models/interface.py#L405
https://github.com/pymor/pymor/blob/main/src/pymor/models/interface.py#L414
The text was updated successfully, but these errors were encountered: