public static void clearAllNeuralNetworks() {
    { PropositionNeuralNetwork net = null;
      Cons iter000 = Logic.$MASTER_NEURAL_NETWORK_LIST$.theConsList;

      for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
        net = ((PropositionNeuralNetwork)(iter000.value));
        PropositionNeuralNetwork.randomizeNeuralNetwork(net);
      }
    }
  }