Lines Matching refs:n_terminal
32961 int n_terminal;
32968 for (n_terminal = 0;n_terminal < gen_nb_int_ptr;n_terminal++) {
32975 terminal = gen_int_ptr(n_terminal, 5);
32985 des_int_ptr(n_terminal, terminal, 5);
32996 printf(" %d", n_terminal);
33028 int n_terminal;
33034 for (n_terminal = 0;n_terminal < gen_nb_int_ptr;n_terminal++) {
33040 terminal = gen_int_ptr(n_terminal, 4);
33049 des_int_ptr(n_terminal, terminal, 4);
33059 printf(" %d", n_terminal);