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,
NEVER = 276,
SKIP = 277,
IF = 278,
FI = 279,
DO = 280,
OD = 281,
ARROW = 282,
GOTO = 283,
FALSE = 284,
ATOMIC = 285,
ASSERT = 286,
FORMULA = 287,
ENDAUT = 288,
LBTT = 289,
INT_S = 290,
LBTT_EMPTY = 291,
ACC = 292,
STATE_NUM = 293,
DEST_NUM = 294
} |