Revise projection options

Open schillic opened this issue 6 years ago • 1 comments

We have the options :projection_matrix and :project_reachset. They are tightly coupled, so we should better make one option out of them. Moreover, projection handling should be done after the analysis and should hence not affect the analysis code (see #468).

Furthermore, there are :ε_proj and :set_type_proj. They should also be unified (see also #471).

Feb 17 '19 19:02 schillic

plot_vars could also be merged into that option.

Feb 21 '19 16:02 schillic