remove confusing membership method

JuliaReach · Jun 14, 2024 · 0deb3d7 · 0deb3d7
1 parent f922cc3
commit 0deb3d7
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/src/Flowpipes/Flowpipe.jl b/src/Flowpipes/Flowpipe.jl
@@ -256,11 +256,6 @@ function ∈(x::AbstractVector{N}, fp::Flowpipe{N,<:AbstractLazyReachSet{N}}) wh
     return any(R -> x ∈ set(R), array(fp))
 end
 
-function ∈(x::AbstractVector{N},
-           fp::VT) where {N,RT<:AbstractLazyReachSet{N},VT<:AbstractVector{RT}}
-    return any(R -> x ∈ set(R), fp)
-end
-
 function LazySets.linear_map(M, fp::Flowpipe)
     out = [linear_map(M, R) for R in fp]
     return Flowpipe(out, fp.ext)