Method validate

src/main/java/pascal/taie/util/graph/SCC.java:134–137

Validates whether the number of nodes in all components is equal to the number of nodes in the given graph.

(Graph<N> graph, List<List<N>> components)

     * equal to the number of nodes in the given graph.
     */
    private void validate(Graph<N> graph, List<List<N>> components) {
        assert graph.getNumberOfNodes() ==
                components.stream().mapToInt(List::size).sum();
    }
}