The number of live nodes in the graph. Because nodes can be removed from the graph, num_nodes() is often smaller than num_node_ids(). If one needs to create an array of nodes indexed by node ids, num_node_ids() should be used as the array's size.
| 649 | // nodes indexed by node ids, num_node_ids() should be used as the |
| 650 | // array's size. |
| 651 | int num_nodes() const { return num_nodes_; } |
| 652 | |
| 653 | // The number of live nodes in the graph, excluding the Source and Sink nodes. |
| 654 | int num_op_nodes() const { |
no outgoing calls