def add_characters_to_alphabet()

in dataflux_core/range_splitter.py [0:0]


    def add_characters_to_alphabet(self, characters: str):
        """Adds a character to the known alphabet.

        Args:
          characters: The string of characters to add to the library.
        """
        unique_characters = set(characters)
        new_alphabet = self.alphabet_set.union(unique_characters)
        if len(new_alphabet) != len(self.alphabet_set):
            self.sorted_alphabet = sorted(new_alphabet)
            self.alphabet_map = {
                val: index
                for index, val in enumerate(self.sorted_alphabet)
            }