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