spot  1.99.3
 All Classes Files Functions Variables Typedefs Enumerations Enumerator Friends Modules Pages
Public Types | List of all members
hoayy::parser::token Struct Reference

Tokens. More...

#include <parseaut/parseaut.hh>

Collaboration diagram for hoayy::parser::token:
Collaboration graph

Public Types

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
}
 

Detailed Description

Tokens.


The documentation for this struct was generated from the following file:

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Wed Aug 26 2015 08:42:37 for spot by doxygen 1.8.8