Read transition names

This commit is contained in:
Jamie Hardt
2018-12-29 14:06:22 -08:00
parent 914e8d5525
commit ce31cbb879
4 changed files with 33 additions and 11 deletions

View File

@@ -13,9 +13,10 @@ class Transition:
Key = "K"
KeyOut = "KO"
def __init__(self, transition, operand):
def __init__(self, transition, operand, name=None):
self.transition = transition
self.operand = operand
self.name = name
@property
def kind(self):