spot
2.10.3.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 , 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 , DRA = 280 , DSA = 281 , V2 = 282 , EXPLICIT = 283 , ACCPAIRS = 284 , ACCSIG = 285 , ENDOFHEADER = 286 , LINEDIRECTIVE = 287 , BDD = 288 , NEVER = 289 , SKIP = 290 , IF = 291 , FI = 292 , DO = 293 , OD = 294 , ARROW = 295 , GOTO = 296 , FALSE = 297 , ATOMIC = 298 , ASSERT = 299 , FORMULA = 300 , ENDAUT = 301 , ENDDSTAR = 302 , LBTT = 303 , INT_S = 304 , LBTT_EMPTY = 305 , ACC = 306 , STATE_NUM = 307 , DEST_NUM = 308 } |
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).