Example #1
0
 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);
        }