search

JuliaReach / Reachability.jl

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

Generalize or concretize ReachSet container types #695

Closed schillic closed 4 years ago

schillic commented 4 years ago

Closes #690.

This PR solves the problem, but with an ugly hack.

The better way is to remove the type parameters of ReachSolution. This makes sense because the exact type is not known by an algorithm (because even if we know the set type, there are type parameters that we do not know in advance). I did the first steps for that in #694, but it requires merging or removing the project methods of the CPost operators GLGM06 and TMJets. This is anyway reasonable now with the new projection based on individual ReachSets, but I did not have time for the change.

schillic commented 4 years ago

Note that the "dev" build is green. So we would need to release a new version of LazySets first.

schillic commented 4 years ago

This hack does not work anymore because of static arrays. Strange that it hit us so quickly, but it was a hack after all.