Home | History | Annotate | Download | only in tools

Lines Matching refs:Transitions

86   the .transitions array."""
90 self.transitions = []
92 def Transitions(self):
95 for trans in self.transitions:
172 edge.transitions.append(trans)
212 # Gather up all the transitions into the label.
214 transitions = edge.Transitions()
215 for trans, count in transitions.items():
237 # If the edge is from the start and the transitions are fishy, make it
239 if src == '0' and len(transitions.keys()) == 1 and transitions.has_key(0):