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

Update templates #115

Merged

mforets merged 3 commits into master from mforets/templates

Apr 15, 2020

Member

mforets commented Apr 15, 2020

for full functionality this requires to use mforets/998 branch in LazySets.

mforets added 3 commits

April 15, 2020 16:52


          use AbstractDirections type

e41f530


          add params

e2f0c1d


          add constructor for custom directions given a set

5d8f445

mforets merged commit a03b257 into master

Member Author

mforets commented Apr 15, 2020 •

edited

Loading

for reference, examples of this struct can be found in this notebook: https://github.com/mforets/escritoire/blob/master/2020/Week16/Templates.ipynb

mforets deleted the mforets/templates branch

April 15, 2020 22:29

mforets mentioned this pull request

Use LazySets.AbstractDirections in TemplateReachSet #49

Closed

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

Labels

None yet