package JavaAgent.resource.fopl ;

public
abstract
class YYtokentypes {

public static final int EOF = 0;

public static final int tokenmin = 258;
public static final int tokenmax = 274;

public static Integer[] Tokentype;

static
{
  Tokentype = new Integer[tokenmax+1];
  for(int i=0;i<=tokenmax;i++) {Tokentype[i] = new Integer(i);}
}

public static final Integer YYEOF = Tokentype[EOF];

public static final Integer CONSTANT = YYtokentypes.Tokentype[258];
public static final Integer VARIABLE = YYtokentypes.Tokentype[259];
public static final Integer NOT = YYtokentypes.Tokentype[260];
public static final Integer IMPLIES = YYtokentypes.Tokentype[261];
public static final Integer IFF = YYtokentypes.Tokentype[262];
public static final Integer XOR = YYtokentypes.Tokentype[263];
public static final Integer AND = YYtokentypes.Tokentype[264];
public static final Integer OR = YYtokentypes.Tokentype[265];
public static final Integer FORALL = YYtokentypes.Tokentype[266];
public static final Integer EXISTS = YYtokentypes.Tokentype[267];
public static final Integer LIST = YYtokentypes.Tokentype[268];
public static final Integer TERM = YYtokentypes.Tokentype[269];
public static final Integer LITERAL = YYtokentypes.Tokentype[270];
public static final Integer FORMULA = YYtokentypes.Tokentype[271];
public static final Integer CLAUSE = YYtokentypes.Tokentype[272];
public static final Integer CLAUSESET = YYtokentypes.Tokentype[273];
public static final Integer FORMS = YYtokentypes.Tokentype[274];


public static final String tokennames[] = {
"CONSTANT", "VARIABLE", "NOT", "IMPLIES", "IFF", "XOR", "AND", "OR", "FORALL", "EXISTS", "LIST", "TERM", "LITERAL", "FORMULA", "CLAUSE", "CLAUSESET", "FORMS", null
};

public static String tokenname(Integer t) {return tokenname(t.intValue());}

public static String tokenname(int t)
{
    if(t >= tokenmin && t <= tokenmax) {
	return tokennames[t - tokenmin];
    } else if(t > 0 && t <= 255) {
	return "'" + String.valueOf((char)t) + "'";
    } else if(t == EOF) {
	return "EOF";
    } else {
	return "$undefined$";
    }
}

//////////////////////////////////////////////////

public static final int nontermmin = 275;
public static final int nontermmax = 296;

public static final int nt_FOPLObject = 275;
public static final int nt_FOPLFormList = 276;
public static final int nt_FOPLClauseList = 277;
public static final int nt_FOPLFormula = 278;
public static final int nt_FOPLBFormula = 279;
public static final int nt_FOPL1FormList = 280;
public static final int nt_FOPLmulticon = 281;
public static final int nt_FOPLbincon = 282;
public static final int nt_FOPLquant = 283;
public static final int nt_LVon = 284;
public static final int nt_LVoff = 285;
public static final int nt_FOPL1VarSpecList = 286;
public static final int nt_FOPLVarSpec = 287;
public static final int nt_FOPLClause = 288;
public static final int nt_SignedLit0List = 289;
public static final int nt_SignedLit = 290;
public static final int nt_FOPLBLiteral = 291;
public static final int nt_FOPLTerm = 292;
public static final int nt_FOPL1TermList = 293;
public static final int nt_FOPL0TermList = 294;
public static final int nt_tVARIABLE = 295;
public static final int nt_tCONSTANT = 296;


public static final String nontermnames[] = {
"FOPLObject", "FOPLFormList", "FOPLClauseList", "FOPLFormula", "FOPLBFormula", "FOPL1FormList", "FOPLmulticon", "FOPLbincon", "FOPLquant", "LVon", "LVoff", "FOPL1VarSpecList", "FOPLVarSpec", "FOPLClause", "SignedLit0List", "SignedLit", "FOPLBLiteral", "FOPLTerm", "FOPL1TermList", "FOPL0TermList", "tVARIABLE", "tCONSTANT", null
};

public static String nontermname(int t)
{
    if(t >= nontermmin && t <= nontermmax) {
	return nontermnames[t - nontermmin];
    } else {
	return "$undefined$";
    }
}

//////////////////////////////////////////////////
};
