public void accept(TermVisitor visitor)
    {
        if (visitor instanceof ClauseVisitor)
        {
            ((ClauseVisitor) visitor).visit(this);
        }
        else
        {
            super.accept(visitor);
        }
    }
public void accept(TermVisitor visitor)
    {
        if (visitor instanceof ClauseVisitor)
        {
            ((ClauseVisitor) visitor).visit(this);
        }
        else
        {
            super.accept(visitor);
        }
    }
public void accept ( TermVisitor visitor ) { if ( visitor instanceof ClauseVisitor ) { ( ( ClauseVisitor ) visitor ) . visit ( this ) ; } else { super . accept ( visitor ) ; } }
{@inheritDoc}
{