Merge pull request #3638 from JuliaReach/auto-juliaformatter-pr

Automatic JuliaFormatter.jl run
JuliaReach · Aug 24, 2024 · 6e1f954 · 6e1f954
2 parents 07ce00a + 5fe5f72
commit 6e1f954
Show file tree

Hide file tree

Showing 5 changed files with 11 additions and 11 deletions.
diff --git a/src/ConcreteOperations/issubset.jl b/src/ConcreteOperations/issubset.jl
@@ -297,7 +297,7 @@ end
 function _issubset_constraints_list(S::LazySet, P::LazySet, witness::Bool=false)
     @assert dim(S) == dim(P) "incompatible set dimensions $(dim(S)) and $(dim(P))"
     @assert ispolyhedral(P) "this inclusion check requires a polyhedral set " *
-                             "on the right-hand side"
+                            "on the right-hand side"
 
     @inbounds for H in constraints_list(P)
         if !_leq(ρ(H.a, S), H.b)

diff --git a/src/ConcreteOperations/minkowski_difference.jl b/src/ConcreteOperations/minkowski_difference.jl
@@ -42,7 +42,7 @@ of disturbance invariant sets for discrete-time linear systems.*
 """
 function minkowski_difference(P::LazySet, Q::LazySet)
     @assert ispolyhedral(P) "this implementation requires that the first argument " *
-                             "is polyhedral; try overapproximating with an `HPolyhedron`"
+                            "is polyhedral; try overapproximating with an `HPolyhedron`"
     @assert isbounded(Q) "this implementation requires that the second " *
                          "argument is bounded, but it is not"
 

diff --git a/src/ConcreteOperations/minkowski_sum.jl b/src/ConcreteOperations/minkowski_sum.jl
@@ -34,8 +34,8 @@ function minkowski_sum(P::LazySet, Q::LazySet;
                         "but they are $n and $(dim(Q)) respectively"
 
     @assert ispolyhedral(P) && ispolyhedral(Q) "this function requires " *
-                                                 "polyhedral sets; try overapproximating with an `HPolytope` or " *
-                                                 "`HPolyhedron` first"
+                                               "polyhedral sets; try overapproximating with an `HPolytope` or " *
+                                               "`HPolyhedron` first"
 
     if n == 2 && isboundedtype(typeof(P)) && isboundedtype(typeof(Q))
         # use vertex representation

diff --git a/src/Interfaces/LazySet.jl b/src/Interfaces/LazySet.jl
@@ -656,7 +656,7 @@ end
 function _plot_recipe_3d_polytope(P::LazySet, N=eltype(P))
     require(@__MODULE__, :MiniQhull; fun_name="_plot_recipe_3d_polytope")
     @assert ispolyhedral(P) && isboundedtype(typeof(P)) "3D plotting is " *
-                                                         "only available for polytopes"
+                                                        "only available for polytopes"
 
     vlist, C = delaunay_vlist_connectivity(P; compute_triangles_3d=true)
 
@@ -1416,14 +1416,14 @@ end
 
 function tohrep(X::LazySet)
     @assert ispolyhedral(X) "cannot compute the constraint representation " *
-                             "of non-polyhedral sets"
+                            "of non-polyhedral sets"
 
     return HPolyhedron(constraints_list(X))
 end
 
 function tovrep(X::LazySet)
     @assert ispolyhedral(X) "cannot compute the vertex representation of " *
-                             "non-polyhedral sets"
+                            "non-polyhedral sets"
 
     return VPolytope(vertices_list(X))
 end
@@ -1438,7 +1438,7 @@ function linear_map_inverse(A::AbstractMatrix, P::LazySet)
     @assert size(A, 1) == dim(P) "an inverse linear map of size $(size(A)) " *
                                  "cannot be applied to a set of dimension $(dim(P))"
     @assert ispolyhedral(P) "cannot compute the inverse linear map of " *
-                             "non-polyhedral sets"
+                            "non-polyhedral sets"
     constraints = _affine_map_inverse_hrep(A, P)
     if isempty(constraints)
         return Universe{eltype(P)}(size(A, 2))
@@ -1453,7 +1453,7 @@ function affine_map_inverse(A::AbstractMatrix, P::LazySet, b::AbstractVector)
                                               "and $(length(b)) cannot be applied to a " *
                                               "set of dimension $(dim(P))"
     @assert ispolyhedral(P) "cannot compute the inverse affine map of " *
-                             "non-polyhedral sets"
+                            "non-polyhedral sets"
     constraints = _affine_map_inverse_hrep(A, P, b)
     if isempty(constraints)
         return Universe{eltype(P)}(size(A, 2))

diff --git a/src/LazyOperations/Bloating.jl b/src/LazyOperations/Bloating.jl
@@ -200,8 +200,8 @@ We call `constraints_list` on the lazy Minkowski sum with the bloating ball.
 """
 function constraints_list(B::Bloating)
     @assert ispolyhedral(B) "the constraints list is only available for " *
-                             "polyhedral bloating (which requires a polyhedral base set and the " *
-                             "1-norm or the infinity norm)"
+                            "polyhedral bloating (which requires a polyhedral base set and the " *
+                            "1-norm or the infinity norm)"
     if B.ε < 0
         throw(ArgumentError("computing the constraints list of a negatively " *
                             "bloated set is not supported"))