如何检测GraphStream中是否存在多个节点

How to Detect if Multiple Nodes Exist in GraphStream

这是一个非常晦涩的问题，因为我没有看到很多人讨好 GraphStream，但是有谁知道如何检测图中是否存在已插入的节点？[​​=13=]

例如，如果我写

graph.addNode(vertex1);

我收到一个错误。如果我做同样的事情并写

graph.addNode(vertex1);

这是因为图中已经存在vertex1。我在 GraphStream 的文档 here 中找不到任何内容，而且我在任何地方都找不到答案。任何帮助将不胜感激。

根据我在 Documentation 中看到的内容：

Throws: IdAlreadyInUseException - If strict checking is enabled the identifier is already used.

您应该能够通过检查 getNode(vertex1.getId()) 的返回值来查明是否使用了标识符。

getNode(String id) :

Returns: The searched node or null if not found.