From f3c710cfe0f68f176f71a6744c9d4fdfd2ab68ad Mon Sep 17 00:00:00 2001
From: schillic <schillic@informatik.uni-freiburg.de>
Date: Thu, 14 Mar 2019 20:01:49 +0100
Subject: [PATCH] allow 'no overapproximation' via 'nothing'

---
 src/ReachSets/ContinuousPost/BFFPSV18/BFFPSV18.jl | 2 ++
 src/ReachSets/ContinuousPost/BFFPSV18/reach.jl    | 4 ++++
 2 files changed, 6 insertions(+)

diff --git a/src/ReachSets/ContinuousPost/BFFPSV18/BFFPSV18.jl b/src/ReachSets/ContinuousPost/BFFPSV18/BFFPSV18.jl
index c87d6a1b..88778b86 100644
--- 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
index e50e7cce..a49c0c0f 100644
--- 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