11 Token(char *s, int tt);
12 Token(const Token & t);
13 Token & operator=(const Token &right);
21 void tokenname(int t);
23 #define TOKEN_OPENBRACK 1
24 #define TOKEN_CLOSEBRACK 2
25 #define TOKEN_FORALL 3
27 #define TOKEN_OPENBRACE 5
28 #define TOKEN_CLOSEBRACE 6
30 #define TOKEN_SIZEOF 8
31 #define TOKEN_OPENPAREN 9
32 #define TOKEN_CLOSEPAREN 10
35 #define TOKEN_EQUALS 13
40 #define TOKEN_DOTINV 18
42 #define TOKEN_LITERAL 20
43 #define TOKEN_PARAM 21
51 #define TOKEN_IMPLIES 29
53 #define TOKEN_ISVALID 31
56 #define TOKEN_STRUCTURE 34
57 #define TOKEN_RESERVED 35
58 #define TOKEN_LABEL 36
62 #define TOKEN_SUBTYPE 40
65 #define TOKEN_COLON 43
67 #define TOKEN_ARROW 45
70 #define TOKEN_PARTITION 48
71 #define TOKEN_ELEMENT 49
72 #define TOKEN_DELAY 50
73 #define TOKEN_STATIC 51
76 #define TOKEN_SHORT 54
78 #define TOKEN_CRASH 56