parameters: (self, closed_nodes)
docstring: Propagate the true reason and closed flags to the parents of a proof.
  
      Args:
        closed_nodes: The list of nodes that has been closed so far of type
          List[Node].
docstring_summary: Propagate the true reason and closed flags to the parents of a proof.
docstring_tokens: Propagate the true reason and closed flags to the parents of a proof .
function: def update_closed(self, closed_nodes):
      """Propagate the true reason and closed flags to the parents of a proof.
  
      Args:
        closed_nodes: The list of nodes that has been closed so far of type
          List[Node].
      """
      assert self.true_proof >= 0
      assert self.closed
      for parent, proof_id in self.parents:
        if parent.closed:
          continue
        proof = parent.proofs[proof_id]
        parent.proofs[proof_id] = [n for n in proof if n.index != self.index]
        if not parent.proofs[proof_id]:
          parent.true_proof = proof_id
          parent.closed = True
          closed_nodes.append(parent)
          parent.update_closed(closed_nodes)
function_tokens: def update_closed ( self , closed_nodes ) : assert self . true_proof >= 0 assert self . closed for parent , proof_id in self . parents : if parent . closed : continue proof = parent . proofs [ proof_id ] parent . proofs [ proof_id ] = [ n for n in proof if n . index != self . index ] if not parent . proofs [ proof_id ] : parent . true_proof = proof_id parent . closed = True closed_nodes . append ( parent ) parent . update_closed ( closed_nodes )