Lines Matching refs:Terminates
834 Terminates = {}
838 Terminates[t] = 1
840 Terminates['$end'] = 1
846 Terminates[n] = 0
852 terminates iff any of its productions terminates.
854 # Production p terminates iff all of its rhs symbols terminate.
856 if not Terminates[s]:
863 # so every symbol s terminates
864 # so production p terminates.
868 # symbol n terminates!
869 if not Terminates[n]:
870 Terminates[n] = 1
879 for (s,terminates) in Terminates.items():
880 if not terminates:
