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