spot 2.12.2
|
Symbol kinds. More...
#include <spot/parsetl/parsetl.hh>
Public Types | |
enum | symbol_kind_type { YYNTOKENS = 80 , S_YYEMPTY = -2 , S_YYEOF = 0 , S_YYerror = 1 , S_YYUNDEF = 2 , S_START_LTL = 3 , S_START_LBT = 4 , S_START_SERE = 5 , S_START_BOOL = 6 , S_PAR_OPEN = 7 , S_PAR_CLOSE = 8 , S_PAR_BLOCK = 9 , S_BRA_BLOCK = 10 , S_BRA_BANG_BLOCK = 11 , S_BRACE_OPEN = 12 , S_BRACE_CLOSE = 13 , S_BRACE_BANG_CLOSE = 14 , S_OP_OR = 15 , S_OP_XOR = 16 , S_OP_AND = 17 , S_OP_SHORT_AND = 18 , S_OP_IMPLIES = 19 , S_OP_EQUIV = 20 , S_OP_U = 21 , S_OP_R = 22 , S_OP_W = 23 , S_OP_M = 24 , S_OP_F = 25 , S_OP_G = 26 , S_OP_X = 27 , S_OP_STRONG_X = 28 , S_OP_NOT = 29 , S_OP_XREP = 30 , S_OP_FREP = 31 , S_OP_GREP = 32 , S_OP_STAR = 33 , S_OP_BSTAR = 34 , S_OP_BFSTAR = 35 , S_OP_PLUS = 36 , S_OP_FPLUS = 37 , S_OP_STAR_OPEN = 38 , S_OP_FSTAR_OPEN = 39 , S_OP_EQUAL_OPEN = 40 , S_OP_GOTO_OPEN = 41 , S_OP_SQBKT_CLOSE = 42 , S_OP_SQBKT_STRONG_CLOSE = 43 , S_OP_SQBKT_NUM = 44 , S_OP_UNBOUNDED = 45 , S_OP_SQBKT_SEP = 46 , S_OP_UCONCAT = 47 , S_OP_ECONCAT = 48 , S_OP_UCONCAT_NONO = 49 , S_OP_ECONCAT_NONO = 50 , S_OP_FIRST_MATCH = 51 , S_ATOMIC_PROP = 52 , S_OP_CONCAT = 53 , S_OP_FUSION = 54 , S_CONST_TRUE = 55 , S_CONST_FALSE = 56 , S_END_OF_INPUT = 57 , S_OP_POST_NEG = 58 , S_OP_POST_POS = 59 , S_OP_DELAY_N = 60 , S_OP_DELAY_OPEN = 61 , S_OP_DELAY_PLUS = 62 , S_OP_DELAY_STAR = 63 , S_64_ = 64 , S_65_ = 65 , S_66_ = 66 , S_67_ = 67 , S_68_i_ = 68 , S_69_e_ = 69 , S_70_X_ = 70 , S_71_F_ = 71 , S_72_G_ = 72 , S_73_U_ = 73 , S_74_V_ = 74 , S_75_R_ = 75 , S_76_W_ = 76 , S_77_M_ = 77 , S_78_t_ = 78 , S_79_f_ = 79 , S_YYACCEPT = 80 , S_result = 81 , S_emptyinput = 82 , S_enderror = 83 , S_OP_SQBKT_SEP_unbounded = 84 , S_OP_SQBKT_SEP_opt = 85 , S_error_opt = 86 , S_sqbkt_num = 87 , S_sqbracketargs = 88 , S_gotoargs = 89 , S_kleen_star = 90 , S_starargs = 91 , S_fstarargs = 92 , S_equalargs = 93 , S_delayargs = 94 , S_atomprop = 95 , S_booleanatom = 96 , S_sere = 97 , S_bracedsere = 98 , S_parenthesedsubformula = 99 , S_boolformula = 100 , S_subformula = 101 , S_lbtformula = 102 } |
Symbol kinds.