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.

Sign up for GitHub

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

Jump to bottom

Show subtype constraints on variable constraints. #8

Closed

nsbgn opened this issue Apr 20, 2021 · 1 comment

Labels

bug

Contributor

nsbgn commented Apr 20, 2021

If a variable occurs in a constraint but not in its context, constraints on that variable are not displayed.

nsbgn added the bug label

nsbgn mentioned this issue

Pointless constraints remain. #18

Closed

Contributor Author

nsbgn commented Apr 23, 2021

Should be fixed after f6fef34, as the .variables() function now also considers the variables occurring in constraints related to the variable.

nsbgn closed this as completed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment