Lines Matching refs:terminates
1519 terminates = {}
1523 terminates[t] = 1
1525 terminates['$end'] = 1
1531 terminates[n] = 0
1537 # Nonterminal n terminates iff any of its productions terminates.
1539 # Production p terminates iff all of its rhs symbols terminate.
1541 if not terminates[s]:
1548 # so every symbol s terminates
1549 # so production p terminates.
1553 # symbol n terminates!
1554 if not terminates[n]:
1555 terminates[n] = 1
1564 for (s,term) in terminates.items():
