code: protected final void write(PrintWriter printWriter, A a, Alphabet<I> inputs) {
          writeState(printWriter);
          writeEdge(printWriter);
          writeETF(printWriter, a, inputs);
          printWriter.close();
      }
docs: Write the full ETF.
  
  @param printWriter the Writer.
  @param a the automaton to write.
  @param inputs the alphabet.