@Override
  public int nodeCount() {
    return m_nodes.size();
  }
Returns an unmodifiable list of nodes in the graph.

@return Unmodifiable collection of nodes.
java/zylib/src/main/java/com/google/security/zynamics/zylib/types/graphs/MutableDirectedGraph.java