make Integer type parameters concrete Int

JuliaReach · Feb 25, 2024 · 4e1be1b · 4e1be1b
1 parent b0fc68c
commit 4e1be1b
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 10 deletions.
diff --git a/docs/src/man/reach_zonotopes_hybrid.md b/docs/src/man/reach_zonotopes_hybrid.md
@@ -40,7 +40,7 @@ using Plots, LazySets, LinearAlgebra
 
 function reach_hybrid(As, Ts, init, δ, μ, T, max_order, instant_transitions)
     # initialize queue with initial mode and states at time t=0
-    queue = Vector{Tuple{LazySet, Integer, Float64}}(undef, 1)
+    queue = Vector{Tuple{LazySet,Int,Float64}}(undef, 1)
     queue[1] = (init[1], init[2], 0.0)
 
     res = Tuple{LazySet, Int}[]

diff --git a/src/Sets/SimpleSparsePolynomialZonotope.jl b/src/Sets/SimpleSparsePolynomialZonotope.jl
@@ -4,7 +4,7 @@ export SimpleSparsePolynomialZonotope, PolynomialZonotope, expmat, nparams,
 """
     SimpleSparsePolynomialZonotope{N, VN<:AbstractVector{N},
                                    MN<:AbstractMatrix{N},
-                                   ME<:AbstractMatrix{<:Integer}}
+                                   ME<:AbstractMatrix{Int}}
         <: AbstractPolynomialZonotope{N}
 
 Type that represents a sparse polynomial zonotope that is *simple* in the sense
@@ -39,7 +39,7 @@ JuliaReach and JuliaIntervals Days 3, 2021.
 """
 struct SimpleSparsePolynomialZonotope{N,VN<:AbstractVector{N},
                                       MN<:AbstractMatrix{N},
-                                      ME<:AbstractMatrix{<:Integer}} <:
+                                      ME<:AbstractMatrix{Int}} <:
        AbstractPolynomialZonotope{N}
     c::VN
     G::MN
@@ -49,7 +49,7 @@ struct SimpleSparsePolynomialZonotope{N,VN<:AbstractVector{N},
                                             E::ME) where {N,
                                                           VN<:AbstractVector{N},
                                                           MN<:AbstractMatrix{N},
-                                                          ME<:AbstractMatrix{<:Integer}}
+                                                          ME<:AbstractMatrix{Int}}
         @assert length(c) == size(G, 1) throw(DimensionMismatch("c and G " *
                                                                 "should have the same number of rows"))
         @assert size(G, 2) == size(E, 2) throw(DimensionMismatch("G and E " *

diff --git a/src/Sets/SparsePolynomialZonotope.jl b/src/Sets/SparsePolynomialZonotope.jl
@@ -5,8 +5,8 @@ export SparsePolynomialZonotope, expmat, nparams, ngens_dep, ngens_indep,
 """
     SparsePolynomialZonotope{N, VN<:AbstractVector{N}, MN<:AbstractMatrix{N},
                              MNI<:AbstractMatrix{N},
-                             ME<:AbstractMatrix{<:Integer},
-                             VI<:AbstractVector{<:Integer}}
+                             ME<:AbstractMatrix{Int},
+                             VI<:AbstractVector{Int}}
         <: AbstractPolynomialZonotope{N}
 
 Type that represents a sparse polynomial zonotope.
@@ -47,8 +47,8 @@ struct SparsePolynomialZonotope{N,
                                 VN<:AbstractVector{N},
                                 MN<:AbstractMatrix{N},
                                 MNI<:AbstractMatrix{N},
-                                ME<:AbstractMatrix{<:Integer},
-                                VI<:AbstractVector{<:Integer}} <: AbstractPolynomialZonotope{N}
+                                ME<:AbstractMatrix{Int},
+                                VI<:AbstractVector{Int}} <: AbstractPolynomialZonotope{N}
     c::VN
     G::MN
     GI::MNI
@@ -60,8 +60,8 @@ struct SparsePolynomialZonotope{N,
                                       idx::VI=uniqueID(size(E, 1))) where {N,VN<:AbstractVector{N},
                                                                            MN<:AbstractMatrix{N},
                                                                            MNI<:AbstractMatrix{N},
-                                                                           ME<:AbstractMatrix{<:Integer},
-                                                                           VI<:AbstractVector{<:Integer}}
+                                                                           ME<:AbstractMatrix{Int},
+                                                                           VI<:AbstractVector{Int}}
         @assert length(c) == size(G, 1) throw(DimensionMismatch("c and G " *
                                                                 "should have the same number of rows"))
         @assert length(c) == size(GI, 1) throw(DimensionMismatch("c and GI " *