spot  2.10.2
Public Types | List of all members
hoayy::parser::symbol_kind Struct Reference

Symbol kinds. More...

#include <spot/parseaut/parseaut.hh>

Collaboration diagram for hoayy::parser::symbol_kind:

Public Types

enum  symbol_kind_type {
  YYNTOKENS = 68 , 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_TOOL = 10 , S_NAME = 11 , S_PROPERTIES = 12 , S_BODY = 13 ,
  S_END = 14 , S_STATE = 15 , S_SPOT_HIGHLIGHT_EDGES = 16 , S_SPOT_HIGHLIGHT_STATES = 17 ,
  S_SPOT_STATE_PLAYER = 18 , S_IDENTIFIER = 19 , S_HEADERNAME = 20 , S_ANAME = 21 ,
  S_STRING = 22 , S_INT = 23 , S_24_ = 24 , S_DRA = 25 ,
  S_DSA = 26 , S_V2 = 27 , S_EXPLICIT = 28 , S_ACCPAIRS = 29 ,
  S_ACCSIG = 30 , S_ENDOFHEADER = 31 , S_LINEDIRECTIVE = 32 , S_BDD = 33 ,
  S_34_ = 34 , S_35_ = 35 , S_36_ = 36 , S_NEVER = 37 ,
  S_SKIP = 38 , S_IF = 39 , S_FI = 40 , S_DO = 41 ,
  S_OD = 42 , S_ARROW = 43 , S_GOTO = 44 , S_FALSE = 45 ,
  S_ATOMIC = 46 , S_ASSERT = 47 , S_FORMULA = 48 , S_ENDAUT = 49 ,
  S_ENDDSTAR = 50 , S_LBTT = 51 , S_INT_S = 52 , S_LBTT_EMPTY = 53 ,
  S_ACC = 54 , S_STATE_NUM = 55 , S_DEST_NUM = 56 , S_57_t_ = 57 ,
  S_58_f_ = 58 , S_59_ = 59 , S_60_ = 60 , S_61_ = 61 ,
  S_62_ = 62 , S_63_ = 63 , S_64_ = 64 , S_65_ = 65 ,
  S_66_ = 66 , S_67_ = 67 , S_YYACCEPT = 68 , S_aut = 69 ,
  S_70_1 = 70 , S_71_aut_1 = 71 , S_hoa = 72 , S_string_opt = 73 ,
  S_BOOLEAN = 74 , S_header = 75 , S_version = 76 , S_77_format_version = 77 ,
  S_78_2 = 78 , S_aps = 79 , S_80_3 = 80 , S_81_header_items = 81 ,
  S_82_header_item = 82 , S_83_4 = 83 , S_84_5 = 84 , S_85_6 = 85 ,
  S_86_7 = 86 , S_87_8 = 87 , S_88_ap_names = 88 , S_89_ap_name = 89 ,
  S_90_acc_spec = 90 , S_properties = 91 , S_92_highlight_edges = 92 , S_93_highlight_states = 93 ,
  S_94_state_player = 94 , S_95_header_spec = 95 , S_96_state_conj_2 = 96 , S_97_init_state_conj_2 = 97 ,
  S_98_label_expr = 98 , S_99_acc_set = 99 , S_100_acceptance_cond = 100 , S_body = 101 ,
  S_102_state_num = 102 , S_103_checked_state_num = 103 , S_states = 104 , S_state = 105 ,
  S_106_state_name = 106 , S_label = 107 , S_108_state_label_opt = 108 , S_109_trans_label = 109 ,
  S_110_acc_sig = 110 , S_111_acc_sets = 111 , S_112_state_acc_opt = 112 , S_113_trans_acc_opt = 113 ,
  S_114_labeled_edges = 114 , S_115_some_labeled_edges = 115 , S_116_incorrectly_unlabeled_edge = 116 , S_117_labeled_edge = 117 ,
  S_118_state_conj_checked = 118 , S_119_unlabeled_edges = 119 , S_120_unlabeled_edge = 120 , S_121_incorrectly_labeled_edge = 121 ,
  S_dstar = 122 , S_dstar_type = 123 , S_dstar_header = 124 , S_dstar_sizes = 125 ,
  S_dstar_state_id = 126 , S_sign = 127 , S_dstar_accsigs = 128 , S_dstar_state_accsig = 129 ,
  S_dstar_transitions = 130 , S_dstar_states = 131 , S_never = 132 , S_133_9 = 133 ,
  S_134_nc_states = 134 , S_135_nc_one_ident = 135 , S_136_nc_ident_list = 136 , S_137_nc_transition_block = 137 ,
  S_138_nc_state = 138 , S_139_nc_transitions = 139 , S_140_nc_formula_or_ident = 140 , S_141_nc_formula = 141 ,
  S_142_nc_opt_dest = 142 , S_143_nc_src_dest = 143 , S_144_nc_transition = 144 , S_lbtt = 145 ,
  S_146_lbtt_header_states = 146 , S_147_lbtt_header = 147 , S_148_lbtt_body = 148 , S_149_lbtt_states = 149 ,
  S_150_lbtt_state = 150 , S_151_lbtt_acc = 151 , S_152_lbtt_guard = 152 , S_153_lbtt_transitions = 153
}
 

Detailed Description

Symbol kinds.

Member Enumeration Documentation

◆ symbol_kind_type

Enumerator
YYNTOKENS 

Number of tokens.


The documentation for this struct was generated from the following file:

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Fri Feb 27 2015 10:00:07 for spot by doxygen 1.9.1