public Functor acceptTransformer(TermTransformer transformer)
    {
        Functor result;

        if (transformer instanceof FunctorTransformer)
        {
            result = ((FunctorTransformer) transformer).transform(this);
        }
        else
        {
            result = (Functor) super.acceptTransformer(transformer);
        }

        if (arguments != null)
        {
            for (int i = 0; i < arguments.length; i++)
            {
                result.arguments[i] = arguments[i].acceptTransformer(transformer);
            }
        }

        return result;
    }
public Functor acceptTransformer(TermTransformer transformer)
    {
        Functor result;

        if (transformer instanceof FunctorTransformer)
        {
            result = ((FunctorTransformer) transformer).transform(this);
        }
        else
        {
            result = (Functor) super.acceptTransformer(transformer);
        }

        if (arguments != null)
        {
            for (int i = 0; i < arguments.length; i++)
            {
                result.arguments[i] = arguments[i].acceptTransformer(transformer);
            }
        }

        return result;
    }
public Functor acceptTransformer ( TermTransformer transformer ) { Functor result ; if ( transformer instanceof FunctorTransformer ) { result = ( ( FunctorTransformer ) transformer ) . transform ( this ) ; } else { result = ( Functor ) super . acceptTransformer ( transformer ) ; } if ( arguments != null ) { for ( int i = 0 ; i < arguments . length ; i ++ ) { result . arguments [ i ] = arguments [ i ] . acceptTransformer ( transformer ) ; } } return result ; }
{@inheritDoc}
{