exports

JuliaReach · Jan 13, 2024 · c056ddf · c056ddf
1 parent e5dfc0f
commit c056ddf
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 1 deletion.
diff --git a/src/Discretization/BackwardModule.jl b/src/Discretization/BackwardModule.jl
@@ -6,6 +6,8 @@ module BackwardModule
 using ..DiscretizationModule
 using ..Exponentiation: _alias
 
+export Backward
+
 """
     Backward{EM, SO, SI, IT, BT} <: AbstractApproximationModel
 

diff --git a/src/Discretization/discretization.jl b/src/Discretization/discretization.jl
@@ -2,6 +2,7 @@
 # Conservative time discretization methods
 # =========================================
 
+using Reexport
 include("DiscretizationModule.jl")
 
 # Approximation model in discrete time, i.e. without bloating
@@ -14,6 +15,7 @@ include("Forward.jl")
 
 # Backward approximation
 include("BackwardModule.jl")
+@reexport using ..BackwardModule
 
 # Intersect one step forward in time with one step backward
 include("StepIntersect.jl")

diff --git a/src/Initialization/exports.jl b/src/Initialization/exports.jl
@@ -29,7 +29,6 @@ export
       CorrectionHull,
       FirstOrder,
       ForwardBackward,
-#Backward,
       Forward,
       NoBloating,
       StepIntersect,