//----------------------------------------------------
// The following code was generated by CUP v0.10l
// 23/09/2004 4:14:16 AM
//----------------------------------------------------

namespace CSFlex
{
    /** CUP generated class containing symbol constants. */
    public class sym
    {
        /* terminals */
        public const int DOLLAR = 5;
        public const int MORETHAN = 13;
        public const int UNICODE = 17;
        public const int COMMA = 11;
        public const int USERCODE = 30;
        public const int BANG = 38;
        public const int RBRACE = 15;
        public const int BAR = 35;
        public const int UPPERCLASS = 23;
        public const int REGEXPEND = 18;
        public const int REPEAT = 32;
        public const int POINT = 37;
        public const int OPENCLASS = 6;
        public const int EPILOGUE = 31;
        public const int EQUALS = 10;
        public const int DASH = 8;
        public const int LESSTHAN = 12;
        public const int LETTERCLASS = 21;
        public const int PLUS = 34;
        public const int CLOSEBRACKET = 3;
        public const int MACROUSE = 42;
        public const int CHAR = 40;
        public const int EOF = 0;
        public const int QUESTION = 36;
        public const int CLOSECLASS = 7;
        public const int FULL = 16;
        public const int TILDE = 39;
        public const int EOFRULE = 25;
        public const int DELIMITER = 9;
        public const int LBRACE = 14;
        public const int OPENBRACKET = 2;
        public const int HAT = 4;
        public const int STAR = 33;
        public const int CCLASSNOT = 44;
        public const int LOOKAHEAD = 27;
        public const int LOWERCLASS = 24;
        public const int ACTION = 28;
        public const int DIGITCLASS = 22;
        public const int CCLASS = 43;
        public const int CONCAT = 45;
        public const int CHAR_I = 47;
        public const int STRING_I = 46;
        public const int JLETTERCLASS = 19;
        public const int JLETTERDIGITCLASS = 20;
        public const int NOACTION = 26;
        public const int error = 1;
        public const int IDENT = 29;
        public const int STRING = 41;
    }
}
