Как определить наличие нескольких узлов в GraphStream

Question

Это довольно непонятный вопрос, поскольку я не вижу, чтобы многие люди хмурились из-за GraphStream, но кто-нибудь знает, как определить, существует ли узел в графе, если он был вставлен?

Например, если я напишу

graph.addNode(vertex1);

Я получаю ошибку. Если я сделаю то же самое и напишу

graph.addNode(vertex1);

Это потому, что вершина 1 уже существует в графе. Я ничего не могу найти в документации GraphStream здесь , и я не могу найти ответ где бы я ни посмотрел. Любая помощь будет высоко ценится.

Answer 1

Из того, что я вижу в Документации :

Броски: IdAlreadyInUseException - Если строгая проверка включена, идентификатор уже используется.

Вы должны быть в состоянии выяснить, используется ли идентификатор, проверив возвращаемое значение getNode(vertex1.getId()).

getNode (идентификатор строки) :

Возвращает: искомый узел или ноль, если не найден.