spot 2.12.2
|
Symbol kinds. More...
#include <spot/parseaut/parseaut.hh>
Public Types | |
enum | symbol_kind_type { YYNTOKENS = 72 , S_YYEMPTY = -2 , S_YYEOF = 0 , S_YYerror = 1 , S_YYUNDEF = 2 , S_HOA = 3 , S_STATES = 4 , S_START = 5 , S_AP = 6 , S_ALIAS = 7 , S_ACCEPTANCE = 8 , S_ACCNAME = 9 , S_CONTROLLABLE_AP = 10 , S_TOOL = 11 , S_NAME = 12 , S_PROPERTIES = 13 , S_BODY = 14 , S_END = 15 , S_STATE = 16 , S_SPOT_HIGHLIGHT_EDGES = 17 , S_SPOT_HIGHLIGHT_STATES = 18 , S_SPOT_STATE_PLAYER = 19 , S_IDENTIFIER = 20 , S_HEADERNAME = 21 , S_ANAME = 22 , S_STRING = 23 , S_INT = 24 , S_25_ = 25 , S_LINEDIRECTIVE = 26 , S_BDD = 27 , S_ENDDSTAR = 28 , S_DRA = 29 , S_DSA = 30 , S_V2 = 31 , S_EXPLICIT = 32 , S_ACCPAIRS = 33 , S_ACCSIG = 34 , S_ENDOFHEADER = 35 , S_36_ = 36 , S_37_ = 37 , S_38_ = 38 , S_NEVER = 39 , S_SKIP = 40 , S_IF = 41 , S_FI = 42 , S_DO = 43 , S_OD = 44 , S_ARROW = 45 , S_GOTO = 46 , S_FALSE = 47 , S_ATOMIC = 48 , S_ASSERT = 49 , S_FORMULA = 50 , S_PGAME = 51 , S_ENDPGAME = 52 , S_ENDAUT = 53 , S_LBTT = 54 , S_INT_S = 55 , S_LBTT_EMPTY = 56 , S_ACC = 57 , S_STATE_NUM = 58 , S_DEST_NUM = 59 , S_60_t_ = 60 , S_61_f_ = 61 , S_62_ = 62 , S_63_ = 63 , S_64_ = 64 , S_65_ = 65 , S_66_ = 66 , S_67_ = 67 , S_68_ = 68 , S_69_ = 69 , S_70_ = 70 , S_71_ = 71 , S_YYACCEPT = 72 , S_aut = 73 , S_74_1 = 74 , S_75_aut_1 = 75 , S_hoa = 76 , S_string_opt = 77 , S_BOOLEAN = 78 , S_header = 79 , S_version = 80 , S_81_format_version = 81 , S_82_2 = 82 , S_83_controllable_aps = 83 , S_aps = 84 , S_85_3 = 85 , S_86_header_items = 86 , S_87_header_item = 87 , S_88_4 = 88 , S_89_5 = 89 , S_90_6 = 90 , S_91_7 = 91 , S_92_8 = 92 , S_93_ap_names = 93 , S_94_ap_name = 94 , S_95_acc_spec = 95 , S_properties = 96 , S_97_highlight_edges = 97 , S_98_highlight_states = 98 , S_99_state_player = 99 , S_100_header_spec = 100 , S_101_state_conj_2 = 101 , S_102_init_state_conj_2 = 102 , S_103_label_expr = 103 , S_104_acc_set = 104 , S_105_acceptance_cond = 105 , S_body = 106 , S_107_state_num = 107 , S_108_checked_state_num = 108 , S_states = 109 , S_state = 110 , S_111_state_name = 111 , S_label = 112 , S_113_state_label_opt = 113 , S_114_trans_label = 114 , S_115_acc_sig = 115 , S_116_acc_sets = 116 , S_117_state_acc_opt = 117 , S_118_trans_acc_opt = 118 , S_119_labeled_edges = 119 , S_120_some_labeled_edges = 120 , S_121_incorrectly_unlabeled_edge = 121 , S_122_labeled_edge = 122 , S_123_state_conj_checked = 123 , S_124_unlabeled_edges = 124 , S_125_unlabeled_edge = 125 , S_126_incorrectly_labeled_edge = 126 , S_dstar = 127 , S_dstar_type = 128 , S_dstar_header = 129 , S_dstar_sizes = 130 , S_dstar_state_id = 131 , S_sign = 132 , S_dstar_accsigs = 133 , S_dstar_state_accsig = 134 , S_dstar_transitions = 135 , S_dstar_states = 136 , S_pgamestart = 137 , S_pgame = 138 , S_pgame_nodes = 139 , S_pgame_succs = 140 , S_pgame_node = 141 , S_never = 142 , S_143_9 = 143 , S_144_nc_states = 144 , S_145_nc_one_ident = 145 , S_146_nc_ident_list = 146 , S_147_nc_transition_block = 147 , S_148_nc_state = 148 , S_149_nc_transitions = 149 , S_150_nc_formula_or_ident = 150 , S_151_nc_formula = 151 , S_152_nc_opt_dest = 152 , S_153_nc_src_dest = 153 , S_154_nc_transition = 154 , S_lbtt = 155 , S_156_lbtt_header_states = 156 , S_157_lbtt_header = 157 , S_158_lbtt_body = 158 , S_159_lbtt_states = 159 , S_160_lbtt_state = 160 , S_161_lbtt_acc = 161 , S_162_lbtt_guard = 162 , S_163_lbtt_transitions = 163 } |
Symbol kinds.