Skip to content
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

Add HPolyhedron type #606

Closed
schillic opened this issue Sep 4, 2018 · 1 comment
Closed

Add HPolyhedron type #606

schillic opened this issue Sep 4, 2018 · 1 comment
Assignees
@mforets
Labels
feature ➕ A new feature

Comments

@schillic
Copy link
Member

schillic commented Sep 4, 2018

The only difference to HPolytope would be that we do not make the implicit assumption that the set is bounded.
@schillic schillic added the feature ➕ A new feature label Sep 4, 2018
@schillic schillic mentioned this issue Sep 4, 2018
Closed
@schillic schillic mentioned this issue Oct 10, 2018
Closed
@schillic
Copy link
Member Author

To avoid code duplicates with HPolytope, we can share the functions by using Union{HPolyhedron, HPolytope} or add a new interface AbstractHPolyhedron. However, some of the functions should have different implementations (obviously).

@mforets mforets mentioned this issue Oct 11, 2018
Merged
mforets added a commit that referenced this issue Oct 12, 2018
@mforets
Merge pull request #767 from JuliaReach/mforets/606
5d8929e 
#606 - Add HPolyhedron
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@mforets mforets

Labels
feature ➕ A new feature
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@schillic @mforets