JuliaReach / ReachabilityAnalysis.jl

Computing reachable states of dynamical systems in Julia

https://juliareach.github.io/ReachabilityAnalysis.jl/

MIT License

189 stars 17 forks source link

Undef initializer for flowpipes #28

Open mforets opened 4 years ago

mforets commented 4 years ago

123 added the `undef` constructor for `Flowpipe`. we can add this for the other flowpipe types.