public Clause acceptTransformer(TermTransformer transformer)
    {
        Clause result;

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

        if (head != null)
        {
            result.head = (Functor) head.acceptTransformer(transformer);
        }

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

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

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

        if (head != null)
        {
            result.head = (Functor) head.acceptTransformer(transformer);
        }

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

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