我目前在我的项目中使用 Graphstream API for Java。
我不想在命令中删除或添加节点。与 JFrame & co. 我初始化了一个控制台,所以我可以插入“addNode()”或“removeNode(id)”以获得结果。
界面显示节点旁边有一个数字(ID)。
当我删除一个节点时,我希望所有具有更高 ID 的节点都更改其 ID,但我没有找到一种方法 jet 来更改一个节点的 ID。
我有:
graph.addNode(0);
graph.addNode(1);
graph.addNode(2);
删除节点时:
graph.removeNode(0);
我希望 1,2 更改为 0,1 而无需重新初始化整个图形。
有没有办法实现这种行为?我想到了类似的东西:
graph.getNode(1).setID(0);
不幸的是,我只能访问 .getID() 并且不能以这种方式操作它。
谢谢