210     return this->kind () == symbol_kind::S_YYEMPTY;  in empty()
224     : kind_ (symbol_kind::S_YYEMPTY)  in by_kind()
246     kind_ = symbol_kind::S_YYEMPTY;  in clear()
299       return symbol_kind::S_YYEMPTY;  in kind()
320     that.kind_ = symbol_kind::S_YYEMPTY;  in stack_symbol_type()
355       case symbol_kind::S_IDENTIFIER: // "identifier"  in yy_destroy_()
361       case symbol_kind::S_HEADERNAME: // "header name"  in yy_destroy_()
367       case symbol_kind::S_ANAME: // "alias name"  in yy_destroy_()
373       case symbol_kind::S_STRING: // "string"  in yy_destroy_()
379       case symbol_kind::S_24_: // '['  in yy_destroy_()
385       case symbol_kind::S_LINEDIRECTIVE: // "#line"  in yy_destroy_()
391       case symbol_kind::S_BDD: // BDD  in yy_destroy_()
397       case symbol_kind::S_FORMULA: // "boolean formula"  in yy_destroy_()
403       case symbol_kind::S_string_opt: // string_opt  in yy_destroy_()
409       case symbol_kind::S_96_state_conj_2: // state-conj-2  in yy_destroy_()
415       case symbol_kind::S_97_init_state_conj_2: // init-state-conj-2  in yy_destroy_()
421       case symbol_kind::S_98_label_expr: // label-expr  in yy_destroy_()
427       case symbol_kind::S_100_acceptance_cond: // acceptance-cond  in yy_destroy_()
433       case symbol_kind::S_118_state_conj_checked: // state-conj-checked  in yy_destroy_()
439       case symbol_kind::S_135_nc_one_ident: // nc-one-ident  in yy_destroy_()
445       case symbol_kind::S_136_nc_ident_list: // nc-ident-list  in yy_destroy_()
451       case symbol_kind::S_137_nc_transition_block: // nc-transition-block  in yy_destroy_()
464       case symbol_kind::S_139_nc_transitions: // nc-transitions  in yy_destroy_()
477       case symbol_kind::S_140_nc_formula_or_ident: // nc-formula-or-ident  in yy_destroy_()
483       case symbol_kind::S_141_nc_formula: // nc-formula  in yy_destroy_()
489       case symbol_kind::S_142_nc_opt_dest: // nc-opt-dest  in yy_destroy_()
495       case symbol_kind::S_143_nc_src_dest: // nc-src-dest  in yy_destroy_()
501       case symbol_kind::S_144_nc_transition: // nc-transition  in yy_destroy_()
529       case symbol_kind::S_IDENTIFIER: // "identifier"  in yy_print_()
539       case symbol_kind::S_HEADERNAME: // "header name"  in yy_print_()
549       case symbol_kind::S_ANAME: // "alias name"  in yy_print_()
559       case symbol_kind::S_STRING: // "string"  in yy_print_()
569       case symbol_kind::S_INT: // "integer"  in yy_print_()
575       case symbol_kind::S_24_: // '['  in yy_print_()
585       case symbol_kind::S_LINEDIRECTIVE: // "#line"  in yy_print_()
595       case symbol_kind::S_FORMULA: // "boolean formula"  in yy_print_()
605       case symbol_kind::S_LBTT: // "LBTT header"  in yy_print_()
611       case symbol_kind::S_INT_S: // "state acceptance"  in yy_print_()
617       case symbol_kind::S_LBTT_EMPTY: // "acceptance sets for empty automaton"  in yy_print_()
623       case symbol_kind::S_ACC: // "acceptance set"  in yy_print_()
629       case symbol_kind::S_STATE_NUM: // "state number"  in yy_print_()
635       case symbol_kind::S_DEST_NUM: // "destination number"  in yy_print_()
641       case symbol_kind::S_string_opt: // string_opt  in yy_print_()
651       case symbol_kind::S_96_state_conj_2: // state-conj-2  in yy_print_()
670       case symbol_kind::S_97_init_state_conj_2: // init-state-conj-2  in yy_print_()
689       case symbol_kind::S_99_acc_set: // acc-set  in yy_print_()
695       case symbol_kind::S_102_state_num: // state-num  in yy_print_()
701       case symbol_kind::S_103_checked_state_num: // checked-state-num  in yy_print_()
707       case symbol_kind::S_118_state_conj_checked: // state-conj-checked  in yy_print_()
726       case symbol_kind::S_sign: // sign  in yy_print_()
732       case symbol_kind::S_135_nc_one_ident: // nc-one-ident  in yy_print_()
742       case symbol_kind::S_136_nc_ident_list: // nc-ident-list  in yy_print_()
752       case symbol_kind::S_140_nc_formula_or_ident: // nc-formula-or-ident  in yy_print_()
762       case symbol_kind::S_142_nc_opt_dest: // nc-opt-dest  in yy_print_()
945     if (yyla.kind () == symbol_kind::S_YYerror)  in parse()
951       yyla.kind_ = symbol_kind::S_YYUNDEF;  in parse()
3379         if (yyla.kind () == symbol_kind::S_YYEOF)  in parse()
3420             yyn += symbol_kind::S_YYerror;  in parse()
3422                 && yycheck_[yyn] == symbol_kind::S_YYerror)  in parse()
3583           if (yycheck_[yyx + yyn] == yyx && yyx != symbol_kind::S_YYerror  in expected_tokens()
3596       yyarg[0] = symbol_kind::S_YYEMPTY;  in expected_tokens()
4061       return symbol_kind::S_YYEOF;  in yytranslate_()
4065       return symbol_kind::S_YYUNDEF;  in yytranslate_()