public Term getArgument(int index)
    {
        if ((arguments == null) || (index > (arguments.length - 1)))
        {
            return null;
        }
        else
        {
            return arguments[index];
        }
    }
public Term getArgument(int index)
    {
        if ((arguments == null) || (index > (arguments.length - 1)))
        {
            return null;
        }
        else
        {
            return arguments[index];
        }
    }
public Term getArgument ( int index ) { if ( ( arguments == null ) || ( index > ( arguments . length - 1 ) ) ) { return null ; } else { return arguments [ index ] ; } }
Gets the argument within the functor with the specified index.

@param  index The index to get the argument for.

@return The argument.
Gets the argument within the functor with the specified index .