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
subtypes returns concrete and abstract types:
subtypes
julia> first(subtypes(LazySet)) AbstractCentrallySymmetric julia> last(subtypes(LazySet)) ResetMap
In some cases it is useful to be able to ask for all concrete subtypes of a given set interface.
The text was updated successfully, but these errors were encountered:
We can outsource this piece of code.
Sorry, something went wrong.
Merge pull request #1185 from JuliaReach/mforets/1159
0751b04
#1159 - Add subtypes function with concrete argument
mforets
No branches or pull requests
subtypes
returns concrete and abstract types:In some cases it is useful to be able to ask for all concrete subtypes of a given set interface.
The text was updated successfully, but these errors were encountered: