Merge pull request #1059 from JuliaReach/schillic/1052

#1052 - Remove type constraint
JuliaReach · Jan 24, 2019 · 39704ab · 39704ab
2 parents 73e742d + e5fa7cf
commit 39704ab
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 5 deletions.
diff --git a/docs/src/lib/operations.md b/docs/src/lib/operations.md
@@ -230,7 +230,7 @@ an_element(::LinearMap{N}) where {N<:Real}
 isbounded(::LinearMap)
 isempty(::LinearMap)
 vertices_list(::LinearMap{N}) where {N<:Real}
-constraints_list(::LinearMap{N, S}) where {N<:Real, S<:Union{AbstractPolytope{N}, HPolyhedron{N}}}
+constraints_list(::LinearMap{N}) where {N<:Real}
 ```
 Inherited from [`LazySet`](@ref):
 * [`norm`](@ref norm(::LazySet, ::Real))

diff --git a/src/LinearMap.jl b/src/LinearMap.jl
@@ -352,8 +352,7 @@ function vertices_list(lm::LinearMap{N})::Vector{Vector{N}} where {N<:Real}
 end
 
 """
-    constraints_list(lm::LinearMap{N, S}) where
-        {N<:Real, S<:Union{AbstractPolytope{N}, HPolyhedron{N}}}
+    constraints_list(lm::LinearMap{N}) where {N<:Real}
 
 Return the list of constraints of a (polyhedral) linear map.
 
@@ -374,7 +373,6 @@ We assume that the underlying set `X` is polyhedral, i.e., offers a method
 
 We fall back to a concrete set representation and apply `linear_map`.
 """
-function constraints_list(lm::LinearMap{N, S}) where
-        {N<:Real, S<:Union{AbstractPolytope{N}, HPolyhedron{N}}}
+function constraints_list(lm::LinearMap{N}) where {N<:Real}
     return constraints_list(linear_map(lm.M, lm.X))
 end