Merge pull request #160 from JuliaReach/schillic/using

Avoid `using .PKG`
JuliaReach · Jan 19, 2024 · 614c513 · 614c513
2 parents e0221ff + 81f494f
commit 614c513
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 4 deletions.
diff --git a/src/intervaloptimisation.jl b/src/intervaloptimisation.jl
@@ -13,7 +13,7 @@ end
 
 function load_intervaloptimization()
     return quote
-        using .IntervalOptimisation
+        using .IntervalOptimisation: HeapedVector, minimise, maximise
 
         _default_vector_MSE = HeapedVector
     end  # quote

diff --git a/src/polynomials.jl b/src/polynomials.jl
@@ -1,4 +1,4 @@
-using .MultivariatePolynomials
+using .MultivariatePolynomials: AbstractPolynomialLike, variables
 
 function enclose(p::AbstractPolynomialLike, dom::Interval_or_IntervalBox,
                  solver::AbstractEnclosureAlgorithm=NaturalEnclosure(); kwargs...)

diff --git a/src/sdp.jl b/src/sdp.jl
@@ -1,4 +1,6 @@
-using .SumOfSquares
+# `@set` assumes that `SemialgebraicSets` is defined
+using .SumOfSquares: SOSModel, @set, SemialgebraicSets, @variable, @constraint, @objective,
+                     optimize!, objective_value
 
 function _enclose_sos(sose::SumOfSquaresEnclosure, p::AbstractPolynomialLike,
                       dom::Interval_or_IntervalBox;

diff --git a/src/taylormodels.jl b/src/taylormodels.jl
@@ -15,7 +15,7 @@ end
 
 function load_taylormodels()
     return quote
-        using .TaylorModels
+        using .TaylorModels: TaylorModel1, TaylorModelN, normalize_taylor, set_variables, evaluate
 
         @inline zeroBox(N) = IntervalBox(0 .. 0, N)
         @inline symBox(N) = IntervalBox(-1 .. 1, N)