avoid 'using .PKG'

JuliaReach · Jan 13, 2024 · 6b9cbc6 · 6b9cbc6
1 parent 6520923
commit 6b9cbc6
Show file tree

Hide file tree

Showing 4 changed files with 4 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
 
 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,4 @@
-using .SumOfSquares
+using .SumOfSquares: SOSModel, @set, @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)