Closed robrix closed 9 years ago
Right now they’re selected globally, which is pretty terrible. Selecting a fresh identifier for a graph could instead be (maxElement(graph.nodes.keys) ?? 0) + 1.
(maxElement(graph.nodes.keys) ?? 0) + 1
Right now they’re selected globally, which is pretty terrible. Selecting a fresh identifier for a graph could instead be
(maxElement(graph.nodes.keys) ?? 0) + 1
.