public static void write(final String fileName, final Formula formula, final boolean splitAndMultiline,
                           final FormulaStringRepresentation formatter) throws IOException {
    write(new File(fileName), formula, splitAndMultiline, formatter);
  }
public static void write ( final String fileName , final Formula formula , final boolean splitAndMultiline , final FormulaStringRepresentation formatter ) throws IOException { write ( new File ( fileName ) , formula , splitAndMultiline , formatter ) ; }
Writes a given formula to a file with a given formula formatter.
@param fileName          the file name of the file
@param formula           the formula to write
@param splitAndMultiline indicates whether - if the formula is an conjunction - the single operands should be
written to different lines without a conjoining operator
@param formatter         the formatter for the formula
@throws IOException if there was a problem writing the file