Documentation of algorithms

Open mforets opened this issue 7 years ago • 1 comments

The documentation of post operators (continuous and discrete) is lacking or misplaced (eg. BFFPSV18 docs is dispersed in ReachSets.jl and reach_blocks.jl). See also this comment.

One place to document what the algorithms are doing is the algorithm's struct. Also all the available options admitted by the algorithms should appear there. Otherwise we can document the post operator functions (we shall document these anyways, but they will be of a technical nature).

Oct 23 '18 20:10 mforets

With #531 we have our second algorithm :tada: Time to add this section in the manual!

Mar 20 '19 19:03 schillic