private LocalState ResetState(LocalState state) { bool unreachable = !state.Reachable; state = ReachableState(); if (unreachable) { state.Assign(0); } return state; }
private LocalState ResetState(LocalState state) { bool unreachable = !state.Reachable; state = TopState(); if (unreachable) { state.Assign(0); } return(state); }