#522 - Add getter function for dimension to properties - Githubissues

JuliaReach / Reachability.jl

Reachability and Safety of Nondeterministic Dynamical Systems

MIT License

50 stars 4 forks source link

#522 - Add getter function for dimension to properties #523

Closed schillic closed 5 years ago

schillic commented 5 years ago

Closes #522.