def __str__(self): return doubledict_to_string(self, title=self.name)
def __str__(self): if len(self.transitions) == 0: return self.__repr__() + "\n<no transitions>" else: return doubledict_to_string(self.transitions, title=self.__repr__())