require
- not cluster_name.is_empty
ensure
- Result /= Void implies Result.name.is_equal(cluster_name)
require
-
coherent: clusters.count = distances.count
-
obviously: skip /= Current
ensure
-
grow_only: clusters.count >= old clusters.count
-
still_coherent: clusters.count = distances.count
-
all_kept: old clusters.twin.for_all(clusters.fast_has())
require
- index.in_range(1, cluster_count)