Lines Matching defs:nt
99 * the given string as a base for the name (or "NT$" if null is passed).
104 if (prefix == null) prefix = "NT$";
122 non_terminal nt;
135 nt = (non_terminal)e.nextElement();
138 if (!nt.nullable())
140 if (nt.looks_nullable())
142 nt._nullable = true;
167 non_terminal nt;
180 nt = (non_terminal)n.nextElement();
183 for (p = nt.productions(); p.hasMoreElements(); )
191 if (!prod_first.is_subset_of(nt._first_set))
194 nt._first_set.add(prod_first);