Searched refs:newdfa (Results 1 – 1 of 1) sorted by relevance
184 def push(self, type, newdfa, newstate, context): argument189 self.stack.append((newdfa, 0, newnode))