public enum StandardOperation extends java.lang.Enum<StandardOperation>
Modifier and Type | Class and Description |
---|---|
static class |
StandardOperation.Family
Describes the family of operands the operation manipulates with.
|
Enum Constant and Description |
---|
ABS
Group: Logic, Operation: Absolute value
|
ADD
Group: Logic, Operation: Addition
|
AND
Group: Logic, Operation: AND
|
BVADD
Group: Bitvector, Operation: Addition
|
BVAND
Group: Bitvector, Operation: Bitwise AND
|
BVANDR
Group: Bit Vector Reduction, Operation: Reduction AND (&)
|
BVASHL
Group: Bitvector, Operation: Arithmetical shift left
|
BVASHR
Group: Bitvector, Operation: Signed (arithmetical) shift right
|
BVCONCAT
Group: Bitvector, Operation: Concatenation
|
BVEXTRACT
Group: Bitvector, Operation: Extraction of subvector
|
BVLSHL
Group: Bitvector, Operation: Logical shift left
|
BVLSHR
Group: Bitvector, Operation: Unsigned (BitVectorOperational) shift right
|
BVMUL
Group: Bitvector, Operation: Multiplication
|
BVNAND
Group: Bitvector, Operation: Bitwise NAND
|
BVNANDR
Group: Bit Vector Reduction, Operation: Reduction NAND (~&)
|
BVNEG
Group: Bitvector, Operation: Unary minus
|
BVNOR
Group: Bitvector, Operation: Bitwise NOR
|
BVNORR
Group: Bit Vector Reduction, Operation: Reduction NOR (~|)
|
BVNOT
Group: Bitvector, Operation: Bitwise NOT
|
BVOR
Group: Bitvector, Operation: Bitwise OR
|
BVORR
Group: Bit Vector Reduction, Operation: Reduction OR (|)
|
BVREPEAT
Group: Bitvector, Operation: Replication (concatenation of several copies of bitvector)
|
BVROL
Group: Bitvector, Operation: Rotate left
|
BVROR
Group: Bitvector, Operation: Rotate right
|
BVSGE
Group: Bitvector, Operation: Signed greater or equal
|
BVSGT
Group: Bitvector, Operation: Signed greater than
|
BVSIGNEXT
Group: Bitvector, Operation: Extension to the signed equivalent
|
BVSLE
Group: Bitvector, Operation: Signed less or equal
|
BVSLT
Group: Bitvector, Operation: Signed less than
|
BVSMOD
Group: Bitvector, Operation: Signed modulo
|
BVSREM
Group: Bitvector, Operation: Signed remainder
|
BVSUB
Group: Bitvector, Operation: Subtraction
|
BVUGE
Group: Bitvector, Operation: Unsigned greater or equal
|
BVUGT
Group: Bitvector, Operation: Unsigned greater than
|
BVULE
Group: Bitvector, Operation: Unsigned less or equal
|
BVULT
Group: Bitvector, Operation: Unsigned less than
|
BVUREM
Group: Bitvector, Operation: Unsigned remainder
|
BVXNOR
Group: Bitvector, Operation: Bitwise XNOR
|
BVXNORR
Group: Bit Vector Reduction, Operation: Reduction XNOR (~^)
|
BVXOR
Group: Bitvector, Operation: Bitwise XOR
|
BVXORR
Group: Bit Vector Reduction, Operation: Reduction XOR (^)
|
BVZEROEXT
Group: Bitvector, Operation: Extension by zeros
|
DIV
Group: Logic, Operation: Division
|
EQ
Group: Logic, Operation: Equality
|
EQCASE
Group: Logic, Operation: Case equality
|
GREATER
Group: Logic, Operation: Greater
|
GREATEREQ
Group: Logic, Operation: Greater or equal
|
IMPL
Group: Logic, Operation: Implication
|
ITE
Group: Logic, Operation: Conditional expression aka if-then-else
|
LESS
Group: Logic, Operation: Less
|
LESSEQ
Group: Logic, Operation: Less or equal
|
MAX
Group: Logic, Operation: Maximum
|
MIN
Group: Logic, Operation: Minimum
|
MINUS
Group: Logic, Operation: Unary minus
|
MOD
Group: Logic, Operation: Modulo
|
MUL
Group: Logic, Operation: Multiplication
|
NOT
Group: Logic, Operation: NOT
|
NOTEQ
Group: Logic, Operation: Not Equal
|
NOTEQCASE
Group: Logic, Operation: Case not equality
|
OR
Group: Logic, Operation: OR
|
PLUS
Group: Logic, Operation: Unary plus
|
POWER
Group: Logic, Operation: Power
|
REM
Group: Logic, Operation: Remainder
|
SELECT
Group: Array, Operation: Get stored value
|
STORE
Group: Array, Operation: Store value
|
SUB
Group: Logic, Operation: Subtraction
|
XOR
Group: Logic, Operation: XOR
|
Modifier and Type | Method and Description |
---|---|
static int |
getParameterCount(java.lang.Enum<?> id) |
DataType |
getResultType(DataType[] operandTypes,
int[] params) |
static boolean |
isFamily(java.lang.Enum<?> id,
StandardOperation.Family family) |
static boolean |
isParametric(java.lang.Enum<?> id) |
static StandardOperation |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static StandardOperation[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final StandardOperation EQ
public static final StandardOperation NOTEQ
public static final StandardOperation EQCASE
public static final StandardOperation NOTEQCASE
public static final StandardOperation AND
public static final StandardOperation OR
public static final StandardOperation NOT
public static final StandardOperation XOR
public static final StandardOperation IMPL
public static final StandardOperation ITE
public static final StandardOperation MINUS
public static final StandardOperation PLUS
public static final StandardOperation ADD
public static final StandardOperation SUB
public static final StandardOperation DIV
public static final StandardOperation MUL
public static final StandardOperation REM
public static final StandardOperation MOD
public static final StandardOperation LESS
public static final StandardOperation LESSEQ
public static final StandardOperation GREATER
public static final StandardOperation GREATEREQ
public static final StandardOperation POWER
public static final StandardOperation ABS
public static final StandardOperation MIN
public static final StandardOperation MAX
public static final StandardOperation BVADD
public static final StandardOperation BVSUB
public static final StandardOperation BVNEG
public static final StandardOperation BVMUL
public static final StandardOperation BVUREM
public static final StandardOperation BVSREM
public static final StandardOperation BVSMOD
public static final StandardOperation BVLSHL
public static final StandardOperation BVASHL
public static final StandardOperation BVLSHR
public static final StandardOperation BVASHR
public static final StandardOperation BVCONCAT
public static final StandardOperation BVREPEAT
public static final StandardOperation BVROL
public static final StandardOperation BVROR
public static final StandardOperation BVZEROEXT
public static final StandardOperation BVSIGNEXT
public static final StandardOperation BVEXTRACT
public static final StandardOperation BVOR
public static final StandardOperation BVXOR
public static final StandardOperation BVAND
public static final StandardOperation BVNOT
public static final StandardOperation BVNAND
public static final StandardOperation BVNOR
public static final StandardOperation BVXNOR
public static final StandardOperation BVULE
public static final StandardOperation BVULT
public static final StandardOperation BVUGE
public static final StandardOperation BVUGT
public static final StandardOperation BVSLE
public static final StandardOperation BVSLT
public static final StandardOperation BVSGE
public static final StandardOperation BVSGT
public static final StandardOperation BVANDR
public static final StandardOperation BVNANDR
public static final StandardOperation BVORR
public static final StandardOperation BVNORR
public static final StandardOperation BVXORR
public static final StandardOperation BVXNORR
public static final StandardOperation SELECT
public static final StandardOperation STORE
public static StandardOperation[] values()
for (StandardOperation c : StandardOperation.values()) System.out.println(c);
public static StandardOperation 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 static boolean isParametric(java.lang.Enum<?> id)
public static int getParameterCount(java.lang.Enum<?> id)
public static boolean isFamily(java.lang.Enum<?> id, StandardOperation.Family family)