GraphStream-如何删除顶点及其所属的整个子图？

Question

我有以下树形图：

每个顶点分配有一个整数。我想做的是：对于任何一个顶点，如果它的一个邻居被删除，那么邻居所属的子图也将被删除。

例如，对于顶点v3，如果删除顶点v4，我将获得一个子图：

原始图的其余部分将被删除。所以我的问题是：有没有一种方法可以利用GraphStream库做到这一点？请忽略分配给每个顶点的整数。