FormulaParserSym.java (generated)

//----------------------------------------------------
// The following code was generated by CUP v0.11b 20150326 (SVN rev 63)
//----------------------------------------------------

package szabivan.cup;

/** CUP generated class containing symbol constants. */
public class FormulaParserSym {
  /* terminals */
  public static final int VARIABLE = 11;
  public static final int EOF = 0;
  public static final int IFF = 5;
  public static final int NEGATION = 10;
  public static final int WEDGE = 3;
  public static final int VEE = 2;
  public static final int error = 1;
  public static final int IMPLIES = 4;
  public static final int RPAREN = 7;
  public static final int DOWN = 9;
  public static final int LPAREN = 6;
  public static final int UP = 8;
  public static final String[] terminalNames = new String[] {
  "EOF",
  "error",
  "VEE",
  "WEDGE",
  "IMPLIES",
  "IFF",
  "LPAREN",
  "RPAREN",
  "UP",
  "DOWN",
  "NEGATION",
  "VARIABLE"
  };
}