spot  2.7.3
Public Types | List of all members
tlyy::parser::token Struct Reference

Tokens. More...

#include <spot/parsetl/parsetl.hh>

Collaboration diagram for tlyy::parser::token:

Public Types

enum  yytokentype {
  START_LTL = 258, START_LBT = 259, START_SERE = 260, START_BOOL = 261,
  PAR_OPEN = 262, PAR_CLOSE = 263, PAR_BLOCK = 264, BRA_BLOCK = 265,
  BRA_BANG_BLOCK = 266, BRACE_OPEN = 267, BRACE_CLOSE = 268, BRACE_BANG_CLOSE = 269,
  OP_OR = 270, OP_XOR = 271, OP_AND = 272, OP_SHORT_AND = 273,
  OP_IMPLIES = 274, OP_EQUIV = 275, OP_U = 276, OP_R = 277,
  OP_W = 278, OP_M = 279, OP_F = 280, OP_G = 281,
  OP_X = 282, OP_NOT = 283, OP_XREP = 284, OP_FREP = 285,
  OP_GREP = 286, OP_STAR = 287, OP_BSTAR = 288, OP_BFSTAR = 289,
  OP_PLUS = 290, OP_FPLUS = 291, OP_STAR_OPEN = 292, OP_FSTAR_OPEN = 293,
  OP_EQUAL_OPEN = 294, OP_GOTO_OPEN = 295, OP_SQBKT_CLOSE = 296, OP_SQBKT_NUM = 297,
  OP_UNBOUNDED = 298, OP_SQBKT_SEP = 299, OP_UCONCAT = 300, OP_ECONCAT = 301,
  OP_UCONCAT_NONO = 302, OP_ECONCAT_NONO = 303, ATOMIC_PROP = 304, OP_CONCAT = 305,
  OP_FUSION = 306, CONST_TRUE = 307, CONST_FALSE = 308, END_OF_INPUT = 309,
  OP_POST_NEG = 310, OP_POST_POS = 311
}
 

Detailed Description

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.8.13