Method getNumberOfNodes

src/main/java/pascal/taie/util/graph/Graph.java:108–108

@return the number of the nodes in this graph.

()

     * @return the number of the nodes in this graph.
     */
    default int getNumberOfNodes() {
        return getNodes().size();
    }