search

JuliaReach / Reachability.jl

Reachability and Safety of Nondeterministic Dynamical Systems
MIT License
50 stars 4 forks source link

#620 - overapproximate in LazyDiscretePost for singular map #621

Closed schillic closed 4 years ago

schillic commented 5 years ago

Closes #620.

Instead of adding another option, I decided to change the option domain from Bool to String (we actually only need three possible values). Interestingly, we never used this option anywhere, so the change was simple.