Merge pull request #3699 from JuliaReach/schillic/move

Move imports
JuliaReach · Dec 23, 2024 · 2fc5451 · 2fc5451
2 parents 5413aec + 1250be2
commit 2fc5451
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 5 deletions.
diff --git a/src/Sets/HalfSpace/HalfSpaceModule.jl b/src/Sets/HalfSpace/HalfSpaceModule.jl
@@ -2,7 +2,8 @@ module HalfSpaceModule
 
 using Reexport, Requires
 
-using ..LazySets: AbstractPolyhedron, LazySet, AbstractLinearMapAlgorithm
+using ..LazySets: AbstractPolyhedron, LazySet, AbstractLinearMapAlgorithm,
+                  _witness_result_empty
 import LinearAlgebra
 using LinearAlgebra: dot
 using Random: AbstractRNG, GLOBAL_RNG
@@ -17,7 +18,7 @@ using ReachabilityBase.Require: require
                         distance, ∈, permute, project, ρ, σ, translate,
                         isdisjoint
 @reexport import ..LazySets: constrained_dimensions, normalize
-import ..LazySets: _ishalfspace, _linear_map_hrep_helper, _witness_result_empty
+import ..LazySets: _ishalfspace, _linear_map_hrep_helper
 import ..Base: convert
 @reexport using ..API
 

diff --git a/src/Sets/Hyperplane/HyperplaneModule.jl b/src/Sets/Hyperplane/HyperplaneModule.jl
@@ -3,7 +3,8 @@ module HyperplaneModule
 using Reexport, Requires
 
 using ..LazySets: AbstractPolyhedron, AbstractLinearMapAlgorithm,
-                  _linear_map_hrep, _non_element_halfspace, _normalize_halfspace
+                  _linear_map_hrep, _non_element_halfspace,
+                  _normalize_halfspace, _witness_result_empty
 using LinearAlgebra: dot
 using Random: AbstractRNG, GLOBAL_RNG
 using ReachabilityBase.Arrays: nonzero_indices
@@ -16,8 +17,7 @@ using ReachabilityBase.Require: require
                         isoperationtype, isuniversal, rand, reflect, distance,
                         ∈, project, ρ, σ, translate, isdisjoint
 @reexport import ..LazySets: constrained_dimensions, ishyperplanar, normalize
-import ..LazySets: _ishyperplanar, _linear_map_hrep_helper,
-                   _witness_result_empty
+import ..LazySets: _ishyperplanar, _linear_map_hrep_helper
 import ..Base: convert
 @reexport using ..API