def __str__(self): return unicode(self) # TODO: make all transitions sets? no, should remove set edges