tlyy::parser::symbol_kind Struct Reference

Symbol kinds. More...

#include <spot/parsetl/parsetl.hh>

Collaboration diagram for tlyy::parser::symbol_kind:

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 }

Detailed Description

Symbol kinds.

Member Enumeration Documentation

symbol_kind_type

enum tlyy::parser::symbol_kind::symbol_kind_type

Enumerator
YYNTOKENS	Number of tokens.

---

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

• spot/parsetl/parsetl.hh