allow 'no overapproximation' via 'nothing'

JuliaReach · Mar 14, 2019 · f3c710c · f3c710c
1 parent c316517
commit f3c710c
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/src/ReachSets/ContinuousPost/BFFPSV18/BFFPSV18.jl b/src/ReachSets/ContinuousPost/BFFPSV18/BFFPSV18.jl
@@ -125,6 +125,8 @@ function validation_BFFPSV18(𝑂)
                     throw(DomainError(ε, "the `$b_options` option must be " *
                                          "positive"))
                 end
+            elseif b_options == :block_options_iter && bo == nothing
+                # no overapproximation
             else
                 throw(DomainError(bo == nothing ? "nothing" : bo,
                     "the `$b_options` option does not accept the given input"))

diff --git a/src/ReachSets/ContinuousPost/BFFPSV18/reach.jl b/src/ReachSets/ContinuousPost/BFFPSV18/reach.jl
@@ -228,6 +228,10 @@ function overapproximate(X::LazySet, pair::Pair)
     return overapproximate(X, pair[1], pair[2])
 end
 
+function overapproximate(X::LazySet, ::Nothing)
+    return X
+end
+
 function has_constant_directions(block_options::AbstractVector, i::Int)
     return has_constant_directions(block_options[i], i)
 end