Merge pull request #3444 from JuliaReach/schillic/overapproximate

Generalize order-reducing overapproximate method
JuliaReach · Apr 22, 2024 · 06d02cb · 06d02cb
2 parents 0860643 + 9968522
commit 06d02cb
Showing 1 changed file with 4 additions and 5 deletions.
diff --git a/src/Approximations/overapproximate_zonotope.jl b/src/Approximations/overapproximate_zonotope.jl
@@ -1,11 +1,11 @@
 """
-    overapproximate(Z::Zonotope, ::Type{<:Zonotope}, r::Union{Integer, Rational})
+    overapproximate(Z::AbstractZonotope, ::Type{<:Zonotope}, r::Real)
 
-Reduce the order of a zonotope.
+Reduce the order of a zonotopic set.
 
 ### Input
 
-- `Z`        -- zonotope
+- `Z`        -- zonotopic set
 - `Zonotope` -- target set type
 - `r`        -- desired order
 
@@ -17,8 +17,7 @@ A new zonotope with `r` generators, if possible.
 
 This method falls back to `reduce_order` with the default algorithm.
 """
-function overapproximate(Z::Zonotope, ::Type{<:Zonotope},
-                         r::Union{Integer,Rational})
+function overapproximate(Z::AbstractZonotope, ::Type{<:Zonotope}, r::Real)
     return reduce_order(Z, r)
 end