def delete_element(self, element):
        """Deletes an element (lazily).

        :raises: ValueError -- No such element in the priority queue.

        """
        if element not in self.element_finder:
            raise ValueError("No such element in the priority queue.")
        entry = self.element_finder[element]
        entry[1] = self.INVALID
def delete_element ( self , element ) : if element not in self . element_finder : raise ValueError ( "No such element in the priority queue." ) entry = self . element_finder [ element ] entry [ 1 ] = self . INVALID
Deletes an element (lazily).

        :raises: ValueError -- No such element in the priority queue.