Check if the dominator tree is in a valid state. Note that this doesn't perform any kind of validity checks. It simply checks if the `compute()` method has been called since the last `clear()`. It does not check that the dominator tree is consistent with the CFG.
(&self)
| 374 | /// `compute()` method has been called since the last `clear()`. It does not check that the |
| 375 | /// dominator tree is consistent with the CFG. |
| 376 | pub fn is_valid(&self) -> bool { |
| 377 | self.valid |
| 378 | } |
| 379 | |
| 380 | /// Reset all internal data structures, build spanning tree |
| 381 | /// and compute a post-order of the control flow graph. |