diff --git a/src/Flowpipes/clustering.jl b/src/Flowpipes/clustering.jl index 89a32fe65..a71b83f23 100644 --- a/src/Flowpipes/clustering.jl +++ b/src/Flowpipes/clustering.jl @@ -125,15 +125,25 @@ end # for Taylor model flowpipes we preprocess it with a zonotopic overapproximation function cluster(F::Flowpipe{N,TaylorModelReachSet{N}}, idx, method::LazyClustering{P,Val{true}}) where {N,P} - Fz = overapproximate(Flowpipe(view(F, idx)), Zonotope) - return cluster(Fz, 1:length(idx), method) # Fx is now indexed from 1 ... length(idx) + return _cluster_TM(F, idx, method) +end +# disambiguations +function cluster(F::Flowpipe{N,TaylorModelReachSet{N}}, idx, + method::LazyClustering{Missing,Val{true}}) where {N} + return _cluster_TM(F, idx, method) end - -# ambiguity fix function cluster(F::Flowpipe{N,TaylorModelReachSet{N}}, idx, method::LazyClustering{P,Val{false}}) where {N,P} + return _cluster_TM(F, idx, method) +end +function cluster(F::Flowpipe{N,TaylorModelReachSet{N}}, idx, + method::LazyClustering{Missing,Val{false}}) where {N} + return _cluster_TM(F, idx, method) +end + +function _cluster_TM(F, idx, method) Fz = overapproximate(Flowpipe(view(F, idx)), Zonotope) - return cluster(Fz, 1:length(idx), method) + return cluster(Fz, 1:length(idx), method) # Fx is now indexed from 1 ... length(idx) end # =====================================