randomize() does not update as many named properties as twa_graph::defrag_states_()
-
randomize()
callsgraph::rename_states_()
and then update the named properties "state-names" and "highlight-states" -
twa_graph::defrag_states_()
updates many more named properties.
graph::rename_states_()
cannot update named properties, since those are not attached to graphs. However it feels wrong for any algorithms to call such a graph function and then having to manually update named properties, at the risk of forgetting some. It might be better to add a twa_graph::rename_state_()
wrapper for graph::rename_states_()
that performs such an update.