public static enum SMTTermMultOp.Op extends java.lang.Enum<SMTTermMultOp.Op>
Enum Constant and Description |
---|
AND |
BVAND |
BVASHR |
BVLSHR |
BVNAND |
BVNOR |
BVOR |
BVSDIV |
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 |
---|---|
SMTTerm |
getIdem() |
SMTTermMultOp.Op |
sign(boolean pol) |
static SMTTermMultOp.Op |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static SMTTermMultOp.Op[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final SMTTermMultOp.Op IFF
public static final SMTTermMultOp.Op IMPLIES
public static final SMTTermMultOp.Op EQUALS
public static final SMTTermMultOp.Op MUL
public static final SMTTermMultOp.Op DIV
public static final SMTTermMultOp.Op REM
public static final SMTTermMultOp.Op LT
public static final SMTTermMultOp.Op LTE
public static final SMTTermMultOp.Op GT
public static final SMTTermMultOp.Op GTE
public static final SMTTermMultOp.Op PLUS
public static final SMTTermMultOp.Op MINUS
public static final SMTTermMultOp.Op AND
public static final SMTTermMultOp.Op OR
public static final SMTTermMultOp.Op XOR
public static final SMTTermMultOp.Op DISTINCT
public static final SMTTermMultOp.Op CONCAT
public static final SMTTermMultOp.Op BVOR
public static final SMTTermMultOp.Op BVAND
public static final SMTTermMultOp.Op BVNAND
public static final SMTTermMultOp.Op BVNOR
public static final SMTTermMultOp.Op BVXNOR
public static final SMTTermMultOp.Op BVSREM
public static final SMTTermMultOp.Op BVSMOD
public static final SMTTermMultOp.Op BVSHL
public static final SMTTermMultOp.Op BVLSHR
public static final SMTTermMultOp.Op BVASHR
public static final SMTTermMultOp.Op BVSLT
public static final SMTTermMultOp.Op BVSLE
public static final SMTTermMultOp.Op BVSGT
public static final SMTTermMultOp.Op BVSGE
public static final SMTTermMultOp.Op BVSDIV
public static SMTTermMultOp.Op[] values()
for (SMTTermMultOp.Op c : SMTTermMultOp.Op.values()) System.out.println(c);
public static SMTTermMultOp.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 nullpublic SMTTerm getIdem()
public SMTTermMultOp.Op sign(boolean pol)