def add_result(self, result):
if self._active_jobs == <NUM_LIT:0>:<EOL><INDENT>return<EOL><DEDENT>self._results.add(result)<EOL>self._active_jobs -= <NUM_LIT:1><EOL>if self._active_jobs == <NUM_LIT:0>:<EOL><INDENT>self._done()<EOL><DEDENT>
Adds the result of a completed job to the result list, then decrements
the active job count. If the job set is already complete, the result is
simply discarded instead.