/** * Formats a Factor. * * @param factor The factor to be formatted. * @param buf The buffer to append to. * @return The appended-to buffer. */ public StringBuffer format(Factor factor, StringBuffer buf) { return buf.append(factor.toString()); }
/** * Formats a Factor. * * @param factor The factor to be formatted. * @param buf The buffer to append to. * @return The appended-to buffer. */ public StringBuffer format(Factor factor, StringBuffer buf) { return buf.append(factor.toString()); }