Lines Matching full:successor
2253 // If the state at the other end of any of the successor edges
2287 // If the state at the other end of any of the successor edges
2303 // Merge the states from each successor to compute the initial state
2747 // insert code at the beginning of both successor blocks instead.
