add SecondOrderddtModule

JuliaReach · Feb 9, 2024 · 612e350 · 612e350
1 parent 7f23b9e
commit 612e350
Show file tree

Hide file tree

Showing 3 changed files with 21 additions and 8 deletions.
diff --git a/src/Discretization/SecondOrderddt.jl → src/Discretization/SecondOrderddtModule.jl b/src/Discretization/SecondOrderddt.jl → src/Discretization/SecondOrderddtModule.jl
@@ -1,12 +1,22 @@
-# ===================================
+# ====================================
 # Second-order approximation from d/dt
-# ===================================
-
+# ====================================
+module SecondOrderddtModule
+
+using ..DiscretizationModule
+using ..Exponentiation: _exp, _alias, BaseExp, Φ₂
+using ..ApplySetops: _apply_setops
+using LinearAlgebra
+using MathematicalSystems
+using LazySets
 using Reexport
 
-using ..Exponentiation: _exp, _alias
+export SecondOrderddt
+
 @reexport import ..DiscretizationModule: discretize
 
+const CLCS = ConstrainedLinearContinuousSystem
+
 """
     SecondOrderddt{EM, SO, SI, IT, BT} <: AbstractApproximationModel
 
@@ -66,10 +76,11 @@ function Base.show(io::IO, alg::SecondOrderddt)
     print(io, "    - set operations method: $(alg.setops)\n")
     print(io, "    - symmetric interval hull method: $(alg.sih)\n")
     print(io, "    - invertibility assumption: $(alg.inv)\n")
-    return print(io, "    - polyhedral computations backend: $(alg.backend)\n")
+    print(io, "    - polyhedral computations backend: $(alg.backend)\n")
+    return nothing
 end
 
-Base.show(io::IO, m::MIME"text/plain", alg::SecondOrderddt) = print(io, alg)
+Base.show(io::IO, ::MIME"text/plain", alg::SecondOrderddt) = print(io, alg)
 
 # ------------------------------------------------------------
 # SecondOrderddt Approximation: Homogeneous case
@@ -112,3 +123,5 @@ function _bloat(P::LazySet, ε)
     end
     return HPolytope(A, bε)
 end
+
+end  # module
diff --git a/src/Discretization/discretization.jl b/src/Discretization/discretization.jl
@@ -32,7 +32,8 @@ include("CorrectionHullModule.jl")
 @reexport using ..CorrectionHullModule
 
 # First-order approximation from d/dt
-include("SecondOrderddt.jl")
+include("SecondOrderddtModule.jl")
+@reexport using ..SecondOrderddtModule
 
 # First-order approximation with zonotope
 include("FirstOrderZonotopeModule.jl")

diff --git a/src/Initialization/exports.jl b/src/Initialization/exports.jl
@@ -24,7 +24,6 @@ export
       VREP,
 
 # Approximation models
-      SecondOrderddt,
       StepIntersect,
 
 # Flowpipes