Maps were used to allow any type of node labels. However, a lot of operations could be faster if vectors were used instead of maps. This could be done by mapping node labels in the constructors to integers, and use integers in the backend.
Maps were used to allow any type of node labels. However, a lot of operations could be faster if vectors were used instead of maps.
This could be done by mapping node labels in the constructors to integers, and use integers in the backend.