Class StandardFunctionFactory
- java.lang.Object
-
- ru.ispras.fortress.solver.function.StandardFunctionFactory
-
public final class StandardFunctionFactory extends java.lang.Object
TheStandardFunctionFactory
class provides factory methods for creating functions that are responsible for performing special custom operations (first of all, some specific operations from HDL).
-
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static Function
abs(java.lang.Enum<?> id, DataType operandType)
Returns the "absolute value of" function for operands of the specified type.static Function
bvandr(java.lang.Enum<?> id, DataType operandType)
Returns the "reduced bit vector AND" function for operands of the specified type.static Function
bvnandr(java.lang.Enum<?> id, DataType operandType)
Returns the "negation of reduced bit vector AND" function for operands of the specified type.static Function
bvnorr(java.lang.Enum<?> id, DataType operandType)
Returns the "negation of reduced bit vector OR" function for operands of the specified type.static Function
bvorr(java.lang.Enum<?> id, DataType operandType)
Returns the "reduced bit vector OR" function for operands of the specified type.static Function
bvxnorr(java.lang.Enum<?> id, DataType operandType)
Returns the "negation of reduced bit vector exclusive OR" function for the specified type args.static Function
bvxorr(java.lang.Enum<?> id, DataType operandType)
Returns the "reduced bit vector exclusive OR" function for operands of the specified type.static Function
max(java.lang.Enum<?> id, DataType leftType, DataType rightType)
Returns the "maximum" function for operands of the specified type.static Function
min(java.lang.Enum<?> id, DataType leftType, DataType rightType)
Returns the "minimum" function for operands of the specified type.
-
-
-
Method Detail
-
abs
public static Function abs(java.lang.Enum<?> id, DataType operandType)
Returns the "absolute value of" function for operands of the specified type.- Parameters:
id
- The function identifier.operandType
- The type of operands.- Returns:
- The "absolute value of" function for operands of the specified type.
-
min
public static Function min(java.lang.Enum<?> id, DataType leftType, DataType rightType)
Returns the "minimum" function for operands of the specified type.- Parameters:
id
- The function identifier.leftType
- The left operand type.rightType
- The right operand type.- Returns:
- The "minimum" function for operands of the specified type.
-
max
public static Function max(java.lang.Enum<?> id, DataType leftType, DataType rightType)
Returns the "maximum" function for operands of the specified type.- Parameters:
id
- The function identifier.leftType
- The left operand type.rightType
- The right operand type.- Returns:
- The "maximum" function for operands of the specified type.
-
bvandr
public static Function bvandr(java.lang.Enum<?> id, DataType operandType)
Returns the "reduced bit vector AND" function for operands of the specified type.- Parameters:
id
- The function identifier.operandType
- The type of operands.- Returns:
- The "reduced bit vector AND" function for operands of the specified type.
-
bvnandr
public static Function bvnandr(java.lang.Enum<?> id, DataType operandType)
Returns the "negation of reduced bit vector AND" function for operands of the specified type.- Parameters:
id
- The function identifier.operandType
- The type of operands.- Returns:
- The "negation reduced bit vector AND" function for operands of the specified type.
-
bvorr
public static Function bvorr(java.lang.Enum<?> id, DataType operandType)
Returns the "reduced bit vector OR" function for operands of the specified type.- Parameters:
id
- The function identifier.operandType
- The type of operands.- Returns:
- The "reduced bit vector OR" function for operands of the specified type.
-
bvnorr
public static Function bvnorr(java.lang.Enum<?> id, DataType operandType)
Returns the "negation of reduced bit vector OR" function for operands of the specified type.- Parameters:
id
- The function identifier.operandType
- The type of operands.- Returns:
- The "negation of reduced bit vector OR" function for operands of the specified type.
-
bvxorr
public static Function bvxorr(java.lang.Enum<?> id, DataType operandType)
Returns the "reduced bit vector exclusive OR" function for operands of the specified type.- Parameters:
id
- The function identifier.operandType
- The type of operands.- Returns:
- The "reduced bit vector exclusive OR" function for operands of the specified type.
-
bvxnorr
public static Function bvxnorr(java.lang.Enum<?> id, DataType operandType)
Returns the "negation of reduced bit vector exclusive OR" function for the specified type args.- Parameters:
id
- The function identifier.operandType
- The type of operands.- Returns:
- The "negation of reduced bit vector exclusive OR" function object.
-
-