/** * Resets the Saver */ @Override public void resetOptions() { super.resetOptions(); setFileExtension(".arff"); }
/** * Resets the Saver */ @Override public void resetOptions() { super.resetOptions(); setFileExtension(".arff"); }
/** * Resets the Saver */ @Override public void resetOptions() { super.resetOptions(); setFileExtension(".arff"); }
/** * Resets the Saver */ @Override public void resetOptions() { super.resetOptions(); setFileExtension(".arff"); }