Enum StandardFunction
- java.lang.Object
-
- java.lang.Enum<StandardFunction>
-
- ru.ispras.fortress.solver.function.StandardFunction
-
- All Implemented Interfaces:
java.io.Serializable
,java.lang.Comparable<StandardFunction>
,FunctionTemplate
public enum StandardFunction extends java.lang.Enum<StandardFunction> implements FunctionTemplate
The StandardFunction enumeration describes function templates describing functions that perform the job of corresponding standard operations (seeStandardOperation
).
-
-
Enum Constant Summary
Enum Constants Enum Constant 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.
-
Method Summary
All Methods Static Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method 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.
-
-
-
Enum Constant Detail
-
ABS
public static final StandardFunction ABS
Group: Logic, Operation: Absolute value.
-
MIN
public static final StandardFunction MIN
Group: Logic, Operation: Minimum.
-
MAX
public static final StandardFunction MAX
Group: Logic, Operation: Maximum.
-
BVANDR
public static final StandardFunction BVANDR
Group: Bit Vector Reduction, Operation: Reduction AND (&).
-
BVNANDR
public static final StandardFunction BVNANDR
Group: Bit Vector Reduction, Operation: Reduction NAND (~&).
-
BVORR
public static final StandardFunction BVORR
Group: Bit Vector Reduction, Operation: Reduction OR (|).
-
BVNORR
public static final StandardFunction BVNORR
Group: Bit Vector Reduction, Operation: Reduction NOR (~|).
-
BVXORR
public static final StandardFunction BVXORR
Group: Bit Vector Reduction, Operation: Reduction XOR (^).
-
BVXNORR
public static final StandardFunction BVXNORR
Group: Bit Vector Reduction, Operation: Reduction XNOR (~^).
-
-
Method Detail
-
values
public static StandardFunction[] values()
Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:for (StandardFunction c : StandardFunction.values()) System.out.println(c);
- Returns:
- an array containing the constants of this enum type, in the order they are declared
-
valueOf
public static StandardFunction valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)- Parameters:
name
- the name of the enum constant to be returned.- Returns:
- the enum constant with the specified name
- Throws:
java.lang.IllegalArgumentException
- if this enum type has no constant with the specified namejava.lang.NullPointerException
- if the argument is null
-
getId
public final java.lang.Enum<?> getId()
Description copied from interface:FunctionTemplate
Returns the identifier of the operation functions instantiated from the template are associated with.- Specified by:
getId
in interfaceFunctionTemplate
- Returns:
- Operation identifier for the instantiated functions.
-
getArgumentCount
public final int getArgumentCount()
-
instantiate
public final Function instantiate(DataType[] argTypes)
Description copied from interface:FunctionTemplate
Instantiates a function from the template for the given argument types.- Specified by:
instantiate
in interfaceFunctionTemplate
- Parameters:
argTypes
- Array of argument types.- Returns:
- Function for the given argument types.
-
-