Merge pull request #464 from JuliaReach/schillic/255_refactor_options

#255 - Refactor options
JuliaReach · Feb 19, 2019 · d4a5176 · d4a5176
2 parents 33467e6 + 6e439fa
commit d4a5176
Show file tree

Hide file tree

Showing 25 changed files with 858 additions and 638 deletions.
diff --git a/docs/make.jl b/docs/make.jl
@@ -12,6 +12,7 @@ makedocs(
         "Library" => Any[
         "User interface" => "lib/interface.md",
         "Systems" => "lib/systems.md",
+        "Algorithms" => "lib/algorithms.md",
         "Transformations" => "lib/transformations.md",
         "Discretization" => "lib/discretize.md",
         "Distributed computations" => "lib/distributed.md"],

diff --git a/docs/src/index.md b/docs/src/index.md
@@ -42,6 +42,7 @@ exact but lazy (i.e. symbolic) representations of common sets.
 Pages = [
     "lib/interface.md",
     "lib/systems.md",
+    "lib/algorithms.md",
     "lib/transformations.md",
     "lib/discretize.md",
     "lib/distributed.md"

diff --git a/docs/src/lib/algorithms.md b/docs/src/lib/algorithms.md
@@ -0,0 +1,21 @@
+# Available Algorithms
+
+This section of the manual describes the algorithms that are available in this
+package.
+
+```@contents
+Pages = ["interface.md"]
+```
+
+```@meta
+CurrentModule = Reachability.ReachSets
+```
+
+## Continuous-time reachability
+
+
+### Decomposition-based approach
+
+```@docs
+BFFPSV18
+```
diff --git a/src/Options/BFFPSV18_options.jl b/src/Options/BFFPSV18_options.jl