search

JuliaReach / Reachability.jl

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

Outsource hybrid loop from solve.jl #603

Open schillic opened 5 years ago

schillic commented 5 years ago

Currently the hybrid loop lives in solve.jl. I suggest we outsource it to a new file in the ReachSets module.