parameters: (self)
return_statement: return True
docstring: Update the "closed" property for the TacticApplication.
  
      It returns true if the application was a successful tactic
      application and all of the resulting subgoals are already marked as closed.
      Otherwise it checks all subgoals and marks the application if
      any of them is closed. Note that it is essential to test that
      self.result is SUCCESS, otherwise failed attempt would be marked
      as closed, which would be a grave mistake.
  
      Returns:
        True if the status of the application was success and all
        the subgoals are closed, otherwise false.
docstring_summary: Update the "closed" property for the TacticApplication.
docstring_tokens: Update the closed property for the TacticApplication .
function: def update_closed(self) -> bool:
      """Update the "closed" property for the TacticApplication.
  
      It returns true if the application was a successful tactic
      application and all of the resulting subgoals are already marked as closed.
      Otherwise it checks all subgoals and marks the application if
      any of them is closed. Note that it is essential to test that
      self.result is SUCCESS, otherwise failed attempt would be marked
      as closed, which would be a grave mistake.
  
      Returns:
        True if the status of the application was success and all
        the subgoals are closed, otherwise false.
      """
      if self.result != deephol_pb2.TacticApplication.SUCCESS:
        return False
      if self.closed:
        return True
      for subgoal in self.subgoals:
        if not subgoal.closed:
          return False
      self.closed = True
      # We are marking the associated node closed. Note that this is a recursive
      # call and might update more associated TacticApplications upstream.
      self.parent.mark_closed(self)
      return True
function_tokens: def update_closed ( self ) -> bool : if self . result != deephol_pb2 . TacticApplication . SUCCESS : return False if self . closed : return True for subgoal in self . subgoals : if not subgoal . closed : return False self . closed = True # We are marking the associated node closed. Note that this is a recursive # call and might update more associated TacticApplications upstream. self . parent . mark_closed ( self ) return True