remove redundant type parameters

JuliaReach · Mar 20, 2019 · c8ecbe6 · c8ecbe6
1 parent 09d27e4
commit c8ecbe6
Showing 1 changed file with 14 additions and 18 deletions.
diff --git a/src/convert.jl b/src/convert.jl
@@ -305,8 +305,8 @@ end
 
 """
     convert(::Type{Zonotope},
-            S::LinearMap{N, SN, NM, MAT}
-            ) where {N, SN<:AbstractHyperrectangle{N}, NM, MAT<:AbstractMatrix{N}}
+            S::LinearMap{N, SN}
+            ) where {N, SN<:AbstractHyperrectangle{N}}
 
 Converts the lazy linear map of a hyperrectangular set to a zonotope.
 
@@ -324,17 +324,15 @@ A zonotope.
 This method first converts the hyperrectangular set to a zonotope, and then
 applies the (concrete) linear map to the zonotope.
 """
-function convert(::Type{Zonotope},
-                 S::LinearMap{N, SN, NM, MAT}
-                 ) where {N, SN<:AbstractHyperrectangle{N}, NM, MAT<:AbstractMatrix{N}}
+function convert(::Type{Zonotope}, S::LinearMap{N, SN}
+                ) where {N, SN<:AbstractHyperrectangle{N}}
     return linear_map(S.M, convert(Zonotope, S.X))
 end
 
 """
-    convert(::Type{Zonotope},
-            S::LinearMap{N, CartesianProduct{N, HN1, HN2}, NM, MAT}
-            ) where {N, HN1<:AbstractHyperrectangle{N}, HN2<:AbstractHyperrectangle{N},
-                     NM, MAT<:AbstractMatrix{N}}
+    convert(::Type{Zonotope}, S::LinearMap{N, CartesianProduct{N, HN1, HN2}}
+           ) where {N, HN1<:AbstractHyperrectangle{N},
+                    HN2<:AbstractHyperrectangle{N}}
 
 Converts the lazy linear map of the cartesian product of two hyperrectangular
 sets to a zonotope.
@@ -354,16 +352,15 @@ This method first converts the cartesian product to a zonotope, and then
 applies the (concrete) linear map to the zonotope.
 """
 function convert(::Type{Zonotope},
-                 S::LinearMap{N, CartesianProduct{N, HN1, HN2}, NM, MAT}
-                 ) where {N, HN1<:AbstractHyperrectangle{N}, HN2<:AbstractHyperrectangle{N},
-                          NM, MAT<:AbstractMatrix{N}}
+                 S::LinearMap{N, CartesianProduct{N, HN1, HN2}}
+                ) where {N, HN1<:AbstractHyperrectangle{N},
+                         HN2<:AbstractHyperrectangle{N}}
     return linear_map(S.M, convert(Zonotope, S.X))
 end
 
 """
-    convert(::Type{Zonotope},
-            S::LinearMap{N, CartesianProductArray{N, HN}, NM, MAT}
-            ) where {N, HN<:AbstractHyperrectangle{N}, NM, MAT<:AbstractMatrix{N}}
+    convert(::Type{Zonotope},S::LinearMap{N, CartesianProductArray{N, HN}}
+           ) where {N, HN<:AbstractHyperrectangle{N}}
 
 Converts the lazy linear map of the cartesian product of a finite number of
 hyperrectangular sets to a zonotope.
@@ -382,9 +379,8 @@ A zonotope.
 This method first converts the cartesian product array to a zonotope, and then
 applies the (concrete) linear map to the zonotope.
 """
-function convert(::Type{Zonotope},
-                 S::LinearMap{N, CartesianProductArray{N, HN}, NM, MAT}
-                 ) where {N, HN<:AbstractHyperrectangle{N}, NM, MAT<:AbstractMatrix{N}}
+function convert(::Type{Zonotope}, S::LinearMap{N, CartesianProductArray{N, HN}}
+                ) where {N, HN<:AbstractHyperrectangle{N}}
     return linear_map(S.M, convert(Zonotope, S.X))
 end