//----------------------------------------------------
// The following code was generated by jh-javacup-1.2 20210807
// Sun Oct 27 17:47:59 CET 2024
//----------------------------------------------------

package de.uni_freiburg.informatik.ultimate.crocotta.parser;

/** CUP generated class containing symbol constants. */
public class CrocSymbols {
  /* terminals */
  public static final int error = 0;
  public static final int EOF = 1;
  public static final int PAIR = 2;
  public static final int CONCAT = 3;
  public static final int UNION = 4;
  public static final int ISECT = 5;
  public static final int CONSTRAINTS = 6;
  public static final int EQUALS = 7;
  public static final int INCLUSION = 8;
  public static final int NUMERAL = 9;
  public static final int LPAR = 10;
  public static final int RPAR = 11;
  public static final int LBRAK = 12;
  public static final int RBRAK = 13;
  public static final int QUOTE = 14;
  public static final int ID = 15;
}