
package bixie.boogie.enums;

/**
 * The serial version UID.
 */
// private static final long serialVersionUID = 1L;
public enum BinaryOperator {
	LOGICIFF, LOGICIMPLIES, LOGICAND, LOGICOR, COMPLT, COMPGT, COMPLEQ, COMPGEQ, COMPEQ, COMPNEQ, COMPPO, BITVECCONCAT, ARITHPLUS, ARITHMINUS, ARITHMUL, ARITHDIV, ARITHMOD
}