class_docstr: Helper class used by nfa_to_dfa() to map back and forth between
  sets of states from the old machine and states of the new machine.
code: def dump(self, file):
      from .Transitions import state_set_str
  
      for new_state in self.new_machine.states:
          old_state_set = self.new_to_old_dict[id(new_state)]
          file.write(
              "   State %s <-- %s\n"
              % (new_state["number"], state_set_str(old_state_set))
          )
  
file_path: catboost/contrib/tools/cython/Cython/Plex/DFA.py
imports: from __future__ import absolute_import
  from .None import Machines
  from .Machines import LOWEST_PRIORITY
  from .Transitions import TransitionMap
label_desc: Use image node_id 6 for calling the StateMap obj's underlying member method code with example usage: obj.dump(file) without return types