remove method for 'IntervalBox'es

Author: schillic

src/Approximations/init.jl

@@ -1,7 +1,6 @@
 function __init__()
     @require Expokit = "a1e7a1ef-7a5d-5822-a38c-be74e1bb89f4" (nothing,)
     @require ExponentialUtilities = "d4d017d3-3776-5f7e-afef-a10c40355c18" (nothing,)
-    @require IntervalBoxes = "43d83c95-ebbb-40ec-8188-24586a1458ed" include("init_IntervalBoxes.jl")
     @require IntervalConstraintProgramming = "138f1668-1576-5ad7-91b9-7425abbf3153" include("init_IntervalConstraintProgramming.jl")
     @require IntervalMatrices = "5c1f47dc-42dd-5697-8aaa-4d102d140ba9" include("init_IntervalMatrices.jl")
     @require Ipopt = "b6b21f68-93f8-5de0-b562-5493be1d77c9" include("init_Ipopt.jl")

src/Approximations/init_IntervalBoxes.jl

@@ -676,47 +676,6 @@ function overapproximate(P::AbstractSparsePolynomialZonotope{N}, ::Type{<:VPolyt
     return VPolytope(vlist)
 end
 
-function load_IntervalBoxes_overapproximate_paving()
-    return quote
-        import .IntervalBoxes as IB
-
-        """
-            overapproximate(boundary::Vector{<:IB.IntervalBox}, dirs::AbstractDirections)
-
-        Overapproximate a vector of `IntervalBox`es ("paving") with a polyhedron in constraint
-        representation.
-
-        ### Input
-
-        - `boundary` -- vector of `IntervalBox`es
-        - `dirs`     -- template directions
-
-        ### Output
-
-        An overapproximation in constraint representation (`HPolyhedron`) with constraints in
-        direction `dirs`.
-
-        ### Algorithm
-
-        This implementation first converts the boxes into `Hyperrectangle`s and then calculates the
-        support function of the set along each  direction in `dirs` to compute the `HPolyhedron`
-        constraints.
-        """
-        function overapproximate(boundary::Vector{<:IB.IntervalBox}, dirs::AbstractDirections)
-            # enclose outer approximation
-            Uouter = UnionSetArray(convert.(Hyperrectangle, boundary))
-            constraints = [HalfSpace(d, ρ(d, Uouter)) for d in dirs]
-            return HPolyhedron(constraints)
-        end
-
-        # alias with HPolyhedron type as second argument
-        function overapproximate(boundary::Vector{<:IB.IntervalBox}, ::Type{<:HPolyhedron},
-                                 dirs::AbstractDirections)
-            return overapproximate(boundary, dirs)
-        end
-    end
-end  # quote / load_IntervalBoxes_overapproximate_paving
-
 """
 # Extended help
 

src/Approximations/overapproximate.jl

@@ -675,7 +675,8 @@ for N in [Float64]
         # (`invokelatest` to avoid world-age issue)
         inner, boundary = invokelatest(IntervalConstraintProgramming.pave, dom, C, 0.01)
         dirs = OctDirections(2)
-        H = overapproximate(boundary, dirs)
+        Uouter = UnionSetArray(convert.(Hyperrectangle, boundary))
+        H = overapproximate(Uouter, dirs)
         B2 = Ball2(N[0, 0], N(1))
         @test B2 ⊆ H
     end