spot  2.10.0.dev
Public Types | List of all members
hoayy::parser::token Struct Reference

Token kinds. More...

#include <spot/parseaut/parseaut.hh>

Collaboration diagram for hoayy::parser::token:

Public Types

enum  token_kind_type {
  HOAYYEMPTY = -2 , ENDOFFILE = 0 , HOAYYerror = 256 , HOAYYUNDEF = 257 ,
  HOA = 258 , STATES = 259 , START = 260 , AP = 261 ,
  ALIAS = 262 , ACCEPTANCE = 263 , ACCNAME = 264 , TOOL = 265 ,
  NAME = 266 , PROPERTIES = 267 , BODY = 268 , END = 269 ,
  STATE = 270 , SPOT_HIGHLIGHT_EDGES = 271 , SPOT_HIGHLIGHT_STATES = 272 , SPOT_STATE_PLAYER = 273 ,
  IDENTIFIER = 274 , HEADERNAME = 275 , ANAME = 276 , STRING = 277 ,
  INT = 278 , DRA = 279 , DSA = 280 , V2 = 281 ,
  EXPLICIT = 282 , ACCPAIRS = 283 , ACCSIG = 284 , ENDOFHEADER = 285 ,
  LINEDIRECTIVE = 286 , BDD = 287 , NEVER = 288 , SKIP = 289 ,
  IF = 290 , FI = 291 , DO = 292 , OD = 293 ,
  ARROW = 294 , GOTO = 295 , FALSE = 296 , ATOMIC = 297 ,
  ASSERT = 298 , FORMULA = 299 , ENDAUT = 300 , ENDDSTAR = 301 ,
  LBTT = 302 , INT_S = 303 , LBTT_EMPTY = 304 , ACC = 305 ,
  STATE_NUM = 306 , DEST_NUM = 307
}
 
typedef token_kind_type yytokentype
 Backward compatibility alias (Bison 3.6). More...
 

Detailed Description

Token kinds.

Member Typedef Documentation

◆ yytokentype

typedef token_kind_type hoayy::parser::token::yytokentype

Backward compatibility alias (Bison 3.6).


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