spot 2.12.2
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 , CONTROLLABLE_AP = 265 ,
  TOOL = 266 , NAME = 267 , PROPERTIES = 268 , BODY = 269 ,
  END = 270 , STATE = 271 , SPOT_HIGHLIGHT_EDGES = 272 , SPOT_HIGHLIGHT_STATES = 273 ,
  SPOT_STATE_PLAYER = 274 , IDENTIFIER = 275 , HEADERNAME = 276 , ANAME = 277 ,
  STRING = 278 , INT = 279 , LINEDIRECTIVE = 280 , BDD = 281 ,
  ENDDSTAR = 282 , DRA = 283 , DSA = 284 , V2 = 285 ,
  EXPLICIT = 286 , ACCPAIRS = 287 , ACCSIG = 288 , ENDOFHEADER = 289 ,
  NEVER = 290 , SKIP = 291 , IF = 292 , FI = 293 ,
  DO = 294 , OD = 295 , ARROW = 296 , GOTO = 297 ,
  FALSE = 298 , ATOMIC = 299 , ASSERT = 300 , FORMULA = 301 ,
  PGAME = 302 , ENDPGAME = 303 , ENDAUT = 304 , LBTT = 305 ,
  INT_S = 306 , LBTT_EMPTY = 307 , ACC = 308 , STATE_NUM = 309 ,
  DEST_NUM = 310
}
 
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.4