(self, node: NodeType)
Mark a node as reached fixed-point. This node as well as all its successors will not be visited in the future.

        :param node: The node to mark as reached fixed-point.
        :return:     None
Mark a node as reached fixed-point. This node as well as all its successors will not be visited in the future.
Mark a node as reached fixed - point . This node as well as all its successors will not be visited in the future .
def reached_fixedpoint(self, node: NodeType) -> None:
        """
        Mark a node as reached fixed-point. This node as well as all its successors will not be visited in the future.

        :param node: The node to mark as reached fixed-point.
        :return:     None
        """

        self._reached_fixedpoint.add(node)
def reached_fixedpoint ( self , node : NodeType ) -> None : self . _reached_fixedpoint . add ( node )