parameters: (state)
docstring: Cover each column containing a starred zero. If n columns are covered,
      the starred zeros describe a complete set of unique assignments.
      In this case, Go to DONE, otherwise, Go to Step 4.
docstring_summary: Cover each column containing a starred zero. If n columns are covered,
      the starred zeros describe a complete set of unique assignments.
      In this case, Go to DONE, otherwise, Go to Step 4.
docstring_tokens: Cover each column containing a starred zero . If n columns are covered the starred zeros describe a complete set of unique assignments . In this case Go to DONE otherwise Go to Step 4 .
function: def _step3(state):
      """
      Cover each column containing a starred zero. If n columns are covered,
      the starred zeros describe a complete set of unique assignments.
      In this case, Go to DONE, otherwise, Go to Step 4.
      """
      marked = (state.marked == 1)
      state.col_uncovered[np.any(marked, axis=0)] = False
  
      if marked.sum() < state.C.shape[0]:
          return _step4
function_tokens: def _step3 ( state ) : marked = ( state . marked == 1 ) state . col_uncovered [ np . any ( marked , axis = 0 ) ] = False if marked . sum ( ) < state . C . shape [ 0 ] : return _step4