/* Copyright (c) 2001 by the Institute for Computer Science,               */
/* Alberts-Ludwigs-University of Freiburg, Germany.                        */
/* All Rights Reserved.  This software is for educational purposes only.   */
/* Permission is given to distribute this code provided that this intro-   */
/* ductory message is not removed and no monies are exchanged.             */
/* No guarantee is expressed or implied by the distribution of this code.  */
/* Software written by Alberto Lluch Lafuente and Stefan Edelkamp.         */
/* References:                                                             */
/* - Stefan Edelkamp, Alberto Lluch Lafuente and Stefan Leue,              */
/*   Directed Explicit Model Checking with HSF-SPIN, to appear in:         */
/*   Proc. 8th International SPIN Workshop on Model Checking Software,     */
/*   Springer LNCS 2057, Toronto, May 2001                                 */
/* - Stefan Edelkamp, Alberto Lluch Lafuente and Stefan Leue,              */
/*   Protocol Verification with Heuristic Search,                          */
/*   Proc. AAAI Spring Symposium on Model-Based Validation of Inteligence, */
/*   AAAI, Stanford, April 2001.                                           */
/* Send bug-reports or questions to: lafuente@informatik.uni-freiburg.de   */

#define ASSERT 258
#define PRINT 259
#define RUN 260
#define LEN 261
#define ENABLED 262
#define EVAL 263
#define PC_VAL 264
#define TYPEDEF 265
#define MTYPE 266
#define INLINE 267
#define LABEL 268
#define OF 269
#define GOTO 270
#define BREAK 271
#define ELSE 272
#define SEMI 273
#define IF 274
#define FI 275
#define DO 276
#define OD 277
#define SEP 278
#define ATOMIC 279
#define NON_ATOMIC 280
#define D_STEP 281
#define UNLESS 282
#define TIMEOUT 283
#define NONPROGRESS 284
#define ACTIVE 285
#define PROCTYPE 286
#define D_PROCTYPE 287
#define HIDDEN 288
#define SHOW 289
#define ISLOCAL 290
#define PRIORITY 291
#define PROVIDED 292
#define FULL 293
#define EMPTY 294
#define NFULL 295
#define NEMPTY 296
#define CONST 297
#define TYPE 298
#define XU 299
#define NAME 300
#define UNAME 301
#define PNAME 302
#define INAME 303
#define STRING 304
#define CLAIM 305
#define TRACE 306
#define INIT 307
#define ASGN 308
#define R_RCV 309
#define RCV 310
#define O_SND 311
#define SND 312
#define OR 313
#define AND 314
#define NE 315
#define EQ 316
#define LE 317
#define GE 318
#define LT 319
#define GT 320
#define RSHIFT 321
#define LSHIFT 322
#define DECR 323
#define INCR 324
#define NEG 325
#define UMIN 326
#define DOT 327
#define FSM 328 /* root of a lextok tree for a fsm: lft is id, rgt is lextok tree */
#define STATE 329 /* state */
