public int nrNodes() {
return nrNodes;
}
public int nrArcs() {
return nrArcs;
}
It may also be useful to know whether the graph contains a certain
node, identified by its label.
public boolean contains(Object label) {
return nodeMap.contains(label);
}