| 228 | |
| 229 | #[derive(Clone, Debug)] |
| 230 | pub struct PostDominators<N: Idx> { |
| 231 | post_order_rank: IndexVec<N, usize>, |
| 232 | immediate_post_dominators: IndexVec<N, ExtNode<N>>, |
| 233 | } |
| 234 | |
| 235 | impl<Node: Idx> PostDominators<Node> { |
| 236 | pub fn is_reachable(&self, node: Node) -> bool { |
nothing calls this directly
no outgoing calls
no test coverage detected