Merge pull request #430 from JuliaReach/mforets/refactor_reach_blocks

Refactor reach blocks
JuliaReach · Jan 30, 2019 · 5d3b33d · 5d3b33d
2 parents 6340067 + f71b13a
commit 5d3b33d
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 8 deletions.
diff --git a/src/ReachSets/ContinuousPost/BFFPSV18.jl → ...hSets/ContinuousPost/BFFPSV18/BFFPSV18.jl b/src/ReachSets/ContinuousPost/BFFPSV18.jl → ...hSets/ContinuousPost/BFFPSV18/BFFPSV18.jl
diff --git a/src/ReachSets/reach_blocks.jl → ...s/ContinuousPost/BFFPSV18/reach_blocks.jl b/src/ReachSets/reach_blocks.jl → ...s/ContinuousPost/BFFPSV18/reach_blocks.jl
diff --git a/...ReachSets/reach_blocks_wrapping_effect.jl → .../BFFPSV18/reach_blocks_wrapping_effect.jl b/...ReachSets/reach_blocks_wrapping_effect.jl → .../BFFPSV18/reach_blocks_wrapping_effect.jl
diff --git a/src/ReachSets/ReachSets.jl b/src/ReachSets/ReachSets.jl
@@ -182,6 +182,13 @@ export PostOperator,
        post,
        tube⋂inv!
 
+# ==========================
+# Continuous post operators
+# ==========================
+include("ContinuousPost/BFFPSV18/BFFPSV18.jl")
+include("ContinuousPost/BFFPSV18/reach_blocks.jl")
+include("ContinuousPost/BFFPSV18/reach_blocks_wrapping_effect.jl")
+
 # ========================
 # Reachability Algorithms
 # ========================
@@ -191,27 +198,20 @@ import Reachability.check_aliases_and_add_default_value!
 available_algorithms = Dict{String, Dict{String, Any}}()
 
 # "explicit" backends
-include("reach_blocks.jl")
 push!(available_algorithms, "explicit_blocks"=>Dict("func"=>reach_blocks!,
                                                     "is_explicit"=>true))
 
-include("reach_blocks_wrapping_effect.jl")
 push!(available_algorithms,
       "wrap"=>Dict("func"=>reach_blocks_wrapping_effect!,
                    "is_explicit"=>true))
 
 export available_algorithms
 
-# ==========================
-# Continuous post operators
-# ==========================
-include("ContinuousPost/BFFPSV18.jl")
-include("DiscretePost/ConcreteDiscretePost.jl")
-
 # ==========================
 # Discrete post operators
 # ==========================
 include("DiscretePost/LazyDiscretePost.jl")
+include("DiscretePost/ConcreteDiscretePost.jl")
 
 # =========================
 # External reach interface