JuliaReach/Reachability.jl

Outsource hybrid loop from solve.jl

schillic opened this issue · 0 comments

schillic commented

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