*/
  public static void saveAllNeuralNetworks(String file) {
    Logic.$SAVE_NETWORK_FILE$ = file;
    if (file != null) {
      System.out.println("Saving networks");
      { OutputFileStream fptr = OutputFileStream.newOutputFileStream(file);

        { PropositionNeuralNetwork net = null;
          Cons iter000 = Logic.$MASTER_NEURAL_NETWORK_LIST$.theConsList;

          for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
            net = ((PropositionNeuralNetwork)(iter000.value));
            PropositionNeuralNetwork.printNeuralNetwork(net, fptr);
            fptr.nativeStream.println();
          }
        }
        fptr.free();
      }
    }
  }