Merge pull request #805 from JuliaReach/schillic/overapproximate

Define `box_approximation` for `AbstractReachSet`s and `AbstractFlowpipe`s
JuliaReach · Mar 17, 2024 · 428cbd5 · 428cbd5
2 parents 0a3f6f5 + dfe2f8c
commit 428cbd5
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 0 deletions.
diff --git a/src/Flowpipes/AbstractFlowpipe.jl b/src/Flowpipes/AbstractFlowpipe.jl
@@ -259,3 +259,9 @@ end
 
 Base.:⊆(F::AbstractFlowpipe, X::LazySet) = all(R ⊆ X for R in F)
 Base.:⊆(F::AbstractFlowpipe, Y::AbstractLazyReachSet) = all(R ⊆ set(Y) for R in F)
+
+# ------------------------------
+# Methods to overapproximate
+# ------------------------------
+
+box_approximation(F::AbstractFlowpipe; kwargs...) = overapproximate(F, Hyperrectangle; kwargs...)
diff --git a/src/ReachSets/AbstractReachSet.jl b/src/ReachSets/AbstractReachSet.jl
@@ -286,3 +286,9 @@ end
                                     method::AbstractIntersectionMethod)
     return _intersection(set(R), X, method)
 end
+
+# ------------------------------
+# Methods to overapproximate
+# ------------------------------
+
+box_approximation(R::AbstractReachSet; kwargs...) = overapproximate(R, Hyperrectangle; kwargs...)