spot  1.99.7
Public Types | List of all members
hoayy::parser::token Struct Reference

Tokens. More...

#include <spot/parseaut/parseaut.hh>

Collaboration diagram for hoayy::parser::token:
Collaboration graph

Public Types

enum  yytokentype {
  ENDOFFILE = 0, 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, IDENTIFIER = 271, HEADERNAME = 272,
  ANAME = 273, STRING = 274, INT = 275, DRA = 276,
  DSA = 277, V2 = 278, EXPLICIT = 279, ACCPAIRS = 280,
  ACCSIG = 281, ENDOFHEADER = 282, NEVER = 283, SKIP = 284,
  IF = 285, FI = 286, DO = 287, OD = 288,
  ARROW = 289, GOTO = 290, FALSE = 291, ATOMIC = 292,
  ASSERT = 293, FORMULA = 294, ENDAUT = 295, ENDDSTAR = 296,
  LBTT = 297, INT_S = 298, LBTT_EMPTY = 299, ACC = 300,
  STATE_NUM = 301, DEST_NUM = 302
}
 

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 Jan 15 2016 13:01:50 for spot by doxygen 1.8.9.1