spot
2.9.8.dev
|
Token kinds. More...
#include <spot/parseaut/parseaut.hh>
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... | |
Token kinds.
typedef token_kind_type hoayy::parser::token::yytokentype |
Backward compatibility alias (Bison 3.6).