Enum StandardFunction

    • 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.
      • Methods inherited from class java.lang.Enum

        clone, compareTo, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf
      • Methods inherited from class java.lang.Object

        getClass, notify, notifyAll, wait, wait, wait
    • 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 name
        java.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 interface FunctionTemplate
        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 interface FunctionTemplate
        Parameters:
        argTypes - Array of argument types.
        Returns:
        Function for the given argument types.
      • newFunction

        protected abstract Function newFunction​(DataType[] argTypes)