sym.java Source File

00001 package edu.ksu.cis.bandera.specification.nnf.ltl;
00002 
00003 
00004 //----------------------------------------------------
00005 // The following code was generated by CUP v0.10k
00006 // Tue Jul 17 20:49:43 CDT 2001
00007 //----------------------------------------------------
00008 
00009 /** CUP generated class containing symbol constants. */
00010 public class sym {
00011   /* terminals */
00012   public static final int AND = 10;
00013   public static final int LP = 6;
00014   public static final int A = 13;
00015   public static final int X = 4;
00016   public static final int ATOM = 16;
00017   public static final int EOF = 0;
00018   public static final int RB = 15;
00019   public static final int LB = 14;
00020   public static final int error = 1;
00021   public static final int IMPLIES = 8;
00022   public static final int NOT = 11;
00023   public static final int UNTIL = 5;
00024   public static final int G = 3;
00025   public static final int OR = 9;
00026   public static final int F = 2;
00027   public static final int E = 12;
00028   public static final int RP = 7;
00029 }