/** {@inheritDoc} */ public Variable acceptTransformer(TermTransformer transformer) { if (transformer instanceof VariableTransformer) { return ((VariableTransformer) transformer).transform(this); } else { return (Variable) super.acceptTransformer(transformer); } }
/** {@inheritDoc} */ public Variable acceptTransformer(TermTransformer transformer) { if (transformer instanceof VariableTransformer) { return ((VariableTransformer) transformer).transform(this); } else { return (Variable) super.acceptTransformer(transformer); } }