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
} |