Class MultiParameterTypedFirstOrderFunction<RETURN_T extends Value>

    • Constructor Detail

      • MultiParameterTypedFirstOrderFunction

        public MultiParameterTypedFirstOrderFunction​(String name,
                                                     Datatype<RETURN_T> returnType,
                                                     boolean varargs,
                                                     List<? extends Datatype<?>> parameterTypes)
        Constructor that creates a function from its signature definition
        Parameters:
        name - function name
        returnType - function return type
        varargs - true iff the function takes a variable number of arguments (like Java Method.isVarArgs()
        parameterTypes - function parameter types
        Throws:
        IllegalArgumentException - if ( name == null || returnType == null || parameterTypes == null || parameterTypes.size() < 2 )