Merge pull request #3545 from JuliaReach/schillic/reexport

Make all API functions available in IntervalModule & EmptySetModule
JuliaReach · Jul 2, 2024 · 91d2d11 · 91d2d11
2 parents 6f2571e + d445c3e
commit 91d2d11
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/src/Sets/EmptySet/EmptySetModule.jl b/src/Sets/EmptySet/EmptySetModule.jl
@@ -15,6 +15,7 @@ using ReachabilityBase.Iteration: EmptyIterator
                         volume,
                         convex_hull, intersection, isdisjoint, ⊆
 @reexport import ..LazySets: chebyshev_center_radius, plot_recipe
+@reexport using ..API
 
 export EmptySet, ∅
 

diff --git a/src/Sets/Interval/IntervalModule.jl b/src/Sets/Interval/IntervalModule.jl
@@ -21,6 +21,7 @@ import IntervalArithmetic as IA
 @reexport import ..LazySets: chebyshev_center_radius, isflat, ngens, plot_recipe,
                              radius_hyperrectangle, split
 import Base: convert, -, *, min, max
+@reexport using ..API
 
 export Interval