public enum StandardFunction extends java.lang.Enum<StandardFunction> implements FunctionTemplate
StandardOperation
).Enum Constant and Description |
---|
ABS
Group: Logic, Operation: Absolute value
|
BVANDR
Group: Bit Vector Reduction, Operation: Reduction AND (&)
|
BVNANDR
Group: Bit Vector Reduction, Operation: Reduction NAND (~&)
|
BVNORR
Group: Bit Vector Reduction, Operation: Reduction NOR (~|)
|
BVORR
Group: Bit Vector Reduction, Operation: Reduction OR (|)
|
BVXNORR
Group: Bit Vector Reduction, Operation: Reduction XNOR (~^)
|
BVXORR
Group: Bit Vector Reduction, Operation: Reduction XOR (^)
|
MAX
Group: Logic, Operation: Maximum
|
MIN
Group: Logic, Operation: Minimum
|
Modifier and Type | Method and Description |
---|---|
int |
getArgumentCount() |
java.lang.Enum<?> |
getId()
Returns the identifier of the operation functions instantiated from the template are associated
with.
|
Function |
instantiate(DataType[] argTypes)
Instantiates a function from the template for the given argument types.
|
protected abstract Function |
newFunction(DataType[] argTypes) |
static StandardFunction |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static StandardFunction[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final StandardFunction ABS
public static final StandardFunction MIN
public static final StandardFunction MAX
public static final StandardFunction BVANDR
public static final StandardFunction BVNANDR
public static final StandardFunction BVORR
public static final StandardFunction BVNORR
public static final StandardFunction BVXORR
public static final StandardFunction BVXNORR
public static StandardFunction[] values()
for (StandardFunction c : StandardFunction.values()) System.out.println(c);
public static StandardFunction 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 final java.lang.Enum<?> getId()
FunctionTemplate
getId
in interface FunctionTemplate
public final int getArgumentCount()
public final Function instantiate(DataType[] argTypes)
FunctionTemplate
instantiate
in interface FunctionTemplate
argTypes
- Array of argument types.