//----------------------------------------------------
// The following code was generated by CUP v0.10k
// Mon Apr 11 20:44:37 CDT 2011
//----------------------------------------------------
package LBJ2.frontend;
/** CUP generated class containing symbol constants. */
public class sym {
/* terminals */
public static final int LBRACK = 74;
public static final int BYTE = 16;
public static final int DOUBLEIMPLICATION = 41;
public static final int IMPLEMENTS = 62;
public static final int LBRACE = 72;
public static final int FLOAT = 52;
public static final int HEAD = 59;
public static final int GT = 57;
public static final int ENCODING = 43;
public static final int URSHIFTEQ = 140;
public static final int VOLATILE = 143;
public static final int DIVEQ = 35;
public static final int ARROW = 7;
public static final int CACHED = 17;
public static final int PROTECTED = 108;
public static final int RPAREN = 119;
public static final int MINIMIZE = 84;
public static final int SHORT = 125;
public static final int TIMES = 136;
public static final int TESTINGMETRIC = 132;
public static final int FORALL = 54;
public static final int PUBLIC = 110;
public static final int ANDEQ = 6;
public static final int GOTO = 56;
public static final int LITERAL = 76;
public static final int RARROW = 112;
public static final int REAL = 116;
public static final int EQ = 45;
public static final int MOD = 89;
public static final int RSHIFT = 120;
public static final int DOTDOT = 39;
public static final int CVAL = 31;
public static final int SWITCH = 129;
public static final int TESTFROM = 131;
public static final int PRIVATE = 106;
public static final int DO = 37;
public static final int EOF = 0;
public static final int FINALLY = 51;
public static final int MINUS = 85;
public static final int INT = 68;
public static final int QUESTION = 111;
public static final int INSTANCEOF = 67;
public static final int IMPORT = 64;
public static final int VOID = 142;
public static final int NORMALIZEDBY = 94;
public static final int PACKAGE = 101;
public static final int URSHIFT = 139;
public static final int USING = 141;
public static final int ELSE = 42;
public static final int TRY = 138;
public static final int END = 44;
public static final int CHAR = 22;
public static final int OR = 98;
public static final int ASSERT = 8;
public static final int PLUSPLUS = 104;
public static final int ALPHA = 3;
public static final int AND = 4;
public static final int RSHIFTEQ = 121;
public static final int THIS = 133;
public static final int CONJUNCTION = 27;
public static final int OF = 97;
public static final int BITWISE_NOT = 13;
public static final int PRUNE = 109;
public static final int TRANSIENT = 137;
public static final int JAVADOC_COMMENT = 70;
public static final int LBRACEBRACE = 73;
public static final int BOOLEAN = 14;
public static final int NEW = 93;
public static final int SUPER = 128;
public static final int MINUSEQ = 86;
public static final int SUBJECTTO = 127;
public static final int EVALUATE = 47;
public static final int INTERFACE = 69;
public static final int AT = 9;
public static final int CASE = 20;
public static final int PLUSEQ = 103;
public static final int BANGCOLON = 12;
public static final int COLONCOLON = 25;
public static final int MIXED = 88;
public static final int PLUS = 102;
public static final int THROW = 134;
public static final int CLASS = 23;
public static final int LPAREN = 78;
public static final int RBRACK = 115;
public static final int NOTEQ = 96;
public static final int EXISTS = 48;
public static final int WHILE = 144;
public static final int BREAK = 15;
public static final int RBRACE = 113;
public static final int DISJUNCTION = 34;
public static final int OREQ = 99;
public static final int CONST = 28;
public static final int XOR = 146;
public static final int LEARN = 75;
public static final int THROWS = 135;
public static final int LSHIFTEQ = 80;
public static final int COMMA = 26;
public static final int LT = 81;
public static final int MINUSMINUS = 87;
public static final int ATLEAST = 10;
public static final int ATMOST = 11;
public static final int NATIVE = 92;
public static final int SENSEALL = 124;
public static final int IDENTIFIER = 60;
public static final int NOT = 95;
public static final int PROGRESSOUTPUT = 107;
public static final int WITH = 145;
public static final int LSHIFT = 79;
public static final int RETURN = 117;
public static final int CACHEDINMAP = 19;
public static final int LONG = 77;
public static final int FOR = 53;
public static final int MULTEQ = 91;
public static final int XOREQ = 147;
public static final int OROR = 100;
public static final int DOT = 38;
public static final int DIVIDE = 36;
public static final int ABSTRACT = 2;
public static final int DOUBLE = 40;
public static final int SYNCHRONIZED = 130;
public static final int CONTINUE = 30;
public static final int CATCH = 21;
public static final int ROUNDS = 118;
public static final int GTEQ = 58;
public static final int FROM = 55;
public static final int CACHEDIN = 18;
public static final int MAXIMIZE = 83;
public static final int SEMICOLON = 122;
public static final int CONSTRAINT = 29;
public static final int PREEXTRACT = 105;
public static final int IN = 65;
public static final int error = 1;
public static final int LTEQ = 82;
public static final int IF = 61;
public static final int FINAL = 50;
public static final int STATIC = 126;
public static final int EQEQ = 46;
public static final int DEFAULT = 32;
public static final int RBRACEBRACE = 114;
public static final int COLON = 24;
public static final int SENSE = 123;
public static final int IMPLICATION = 63;
public static final int JAVADOC_END_COMMENT = 71;
public static final int ANDAND = 5;
public static final int DISCRETE = 33;
public static final int EXTENDS = 49;
public static final int MODEQ = 90;
public static final int INFERENCE = 66;
}