Revise decompose options

[mforets]

This depends on JuliaReach/LazySets.jl#1179.

To-do's:

• show example of block_options
• add an example for the old behavior of lazy_X0, to be used as: :block_options_init => LinearMap
• add an example passing vars and partition, which means that the algorithm computes *all blocks that contain variables in vars". see also https://github.com/JuliaReach/Reachability.jl/blob/master/src/ReachSets/ContinuousPost/BFFPSV18/BFFPSV18.jl#L298
• explain how to use some of the features wanted in this issue

[codecov-io]

Codecov Report

Merging #499 into master will decrease coverage by 0.11%.
The diff coverage is n/a.

@@            Coverage Diff            @@
##           master    #499      +/-   ##
=========================================
- Coverage   55.42%   55.3%   -0.12%     
=========================================
  Files          34      34              
  Lines        1705    1705              
=========================================
- Hits          945     943       -2     
- Misses        760     762       +2

Impacted Files	Coverage Δ
src/ReachSets/ContinuousPost/BFFPSV18/BFFPSV18.jl	73.22% <ø> (ø)	⬆️
src/Options/validation.jl	80.95% <0%> (-4.77%)	⬇️
src/ReachSets/DiscretePost/DiscretePost.jl	73.17% <0%> (-2.44%)	⬇️

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 309f6d2...da66ecd. Read the comment docs.

[mforets]

this PR is also relevant for coverage, #47

[schillic]

Let us fix the two mentioned issues and merge. We should take this over when we work on #679.

[mforets]

Thanks for the review!