add template dirs for discrete post: (#627)

JuliaReach · May 1, 2019 · 88bfa34 · 88bfa34
1 parent 6baff67
commit 88bfa34
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/ReachSets/DiscretePost/DiscretePost.jl b/src/ReachSets/DiscretePost/DiscretePost.jl
@@ -111,6 +111,10 @@ function get_overapproximation_option(𝒫::DiscretePost, n::Int)
         return dirs(n)
     elseif oa isa Type{<:LazySets.LazySet}
         return oa
+    elseif oa isa LazySets.Approximations.AbstractDirections
+        return oa
+    elseif oa <: LazySets.Approximations.AbstractDirections
+        return oa
     else
         error("received unknown :overapproximation option $oa")
     end