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

Automatic JuliaFormatter.jl run
JuliaReach · May 4, 2024 · c86e3f7 · c86e3f7
2 parents 5c4c70f + 863cf41
commit c86e3f7
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 3 deletions.
diff --git a/src/Flowpipes/HybridFlowpipe.jl b/src/Flowpipes/HybridFlowpipe.jl
@@ -24,12 +24,16 @@ struct HybridFlowpipe{N,RT<:AbstractReachSet{N},FT<:AbstractFlowpipe} <: Abstrac
 end
 
 function HybridFlowpipe(Fk::Vector{FT},
-                        ext::Dict{Symbol,Any}=Dict{Symbol,Any}()) where {N,RT<:AbstractReachSet{N},FT<:Flowpipe{N,RT}}
+                        ext::Dict{Symbol,Any}=Dict{Symbol,Any}()) where {N,RT<:AbstractReachSet{N},
+                                                                         FT<:Flowpipe{N,RT}}
     return HybridFlowpipe{N,RT,FT}(Fk, ext)
 end
 
 function HybridFlowpipe(Fk::Vector{SFT},
-                        ext::Dict{Symbol,Any}=Dict{Symbol,Any}()) where {N,RT,FT<:Flowpipe{N,RT},NT<:Number,SFT<:ShiftedFlowpipe{FT,NT}}
+                        ext::Dict{Symbol,Any}=Dict{Symbol,Any}()) where {N,RT,FT<:Flowpipe{N,RT},
+                                                                         NT<:Number,
+                                                                         SFT<:ShiftedFlowpipe{FT,
+                                                                                              NT}}
     return HybridFlowpipe{N,RT,SFT}(Fk, ext)
 end
 

diff --git a/src/Flowpipes/MixedFlowpipe.jl b/src/Flowpipes/MixedFlowpipe.jl
@@ -23,7 +23,8 @@ struct MixedFlowpipe{N,RT<:AbstractReachSet{N},FT<:AbstractFlowpipe} <: Abstract
 end
 
 function MixedFlowpipe(Fk::Vector{FT},
-                       ext::Dict{Symbol,Any}=Dict{Symbol,Any}()) where {N,RT<:AbstractReachSet{N},FT<:Flowpipe{N,RT}}
+                       ext::Dict{Symbol,Any}=Dict{Symbol,Any}()) where {N,RT<:AbstractReachSet{N},
+                                                                        FT<:Flowpipe{N,RT}}
     return MixedFlowpipe{N,RT,FT}(Fk, ext)
 end