remove method that is not needed anymore

src/Flowpipes/setops.jl

@@ -281,30 +281,6 @@ end
     return !_geq(q, min(X)) || !_leq(q, max(X))
 end
 
-# if X is polyhedral and Y is the set union of half-spaces, X ∩ Y is empty iff
-# X ∩ Hi is empty for each half-space Hi in Y
-# NOTE the algorithm below solves an LP for each X ∩ Hi; however, we can proceed
-# more efficiently using support functions
-# see LazySets.is_intersection_empty_helper_halfspace
-@commutative function isdisjoint(X::AbstractPolytope{N},
-                                 Y::UnionSetArray{N,<:HalfSpace{N}}) where {N}
-    if dim(X) == 2 # use vrep in 2D
-        Xp = convert(VPolygon, X)
-        return all(Yi -> isdisjoint(Xp, Yi), array(Y))
-    end
-
-    clist_X = constraints_list(X)
-    for ci in Y.array
-        # using support functions
-        #!(-ρ(-hs.a, X) > hs.b) && return false # TODO use robust check
-
-        # using LP
-        Y_ci = vcat(clist_X, ci)
-        remove_redundant_constraints!(Y_ci) && return false
-    end
-    return true
-end
-
 # ====================================================================
 # Concrete intersection
 #