public static enum SMTTermBinOp.Op extends java.lang.Enum<SMTTermBinOp.Op>
Enum Constant and Description |
---|
AND |
BVAND |
BVASHR |
BVLSHR |
BVNAND |
BVNOR |
BVOR |
BVSGE |
BVSGT |
BVSHL |
BVSLE |
BVSLT |
BVSMOD |
BVSREM |
BVXNOR |
CONCAT |
DISTINCT |
DIV |
EQUALS |
GT |
GTE |
IFF |
IMPLIES |
LT |
LTE |
MINUS |
MUL |
OR |
PLUS |
REM |
XOR |
Modifier and Type | Method and Description |
---|---|
static SMTTermBinOp.Op |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static SMTTermBinOp.Op[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final SMTTermBinOp.Op IFF
public static final SMTTermBinOp.Op IMPLIES
public static final SMTTermBinOp.Op EQUALS
public static final SMTTermBinOp.Op MUL
public static final SMTTermBinOp.Op DIV
public static final SMTTermBinOp.Op REM
public static final SMTTermBinOp.Op LT
public static final SMTTermBinOp.Op LTE
public static final SMTTermBinOp.Op GT
public static final SMTTermBinOp.Op GTE
public static final SMTTermBinOp.Op PLUS
public static final SMTTermBinOp.Op MINUS
public static final SMTTermBinOp.Op AND
public static final SMTTermBinOp.Op OR
public static final SMTTermBinOp.Op XOR
public static final SMTTermBinOp.Op DISTINCT
public static final SMTTermBinOp.Op CONCAT
public static final SMTTermBinOp.Op BVOR
public static final SMTTermBinOp.Op BVAND
public static final SMTTermBinOp.Op BVNAND
public static final SMTTermBinOp.Op BVNOR
public static final SMTTermBinOp.Op BVXNOR
public static final SMTTermBinOp.Op BVSREM
public static final SMTTermBinOp.Op BVSMOD
public static final SMTTermBinOp.Op BVSHL
public static final SMTTermBinOp.Op BVLSHR
public static final SMTTermBinOp.Op BVASHR
public static final SMTTermBinOp.Op BVSLT
public static final SMTTermBinOp.Op BVSLE
public static final SMTTermBinOp.Op BVSGT
public static final SMTTermBinOp.Op BVSGE
public static SMTTermBinOp.Op[] values()
for (SMTTermBinOp.Op c : SMTTermBinOp.Op.values()) System.out.println(c);
public static SMTTermBinOp.Op valueOf(java.lang.String name)
name
- the name of the enum constant to be returned.java.lang.IllegalArgumentException
- if this enum type has no constant with the specified namejava.lang.NullPointerException
- if the argument is null