Examples of statechum.analysis.learning.observers.RecordProgressDecorator.writeLearnerEvaluationData()

      RecordProgressDecorator recorder = null;
      java.io.FileOutputStream out = null;
      Configuration progressRecorderConfig = evalData.config.copy();progressRecorderConfig.setCompressLogs(false);
        out = new java.io.FileOutputStream("resources/tmp.xml");
        recorder = new RecordProgressDecorator(learner2,out,1,progressRecorderConfig,true);
      recorder.writeLearnerEvaluationData(evalData);
      learner2.setTopLevelListener(recorder);
      recorder.learnMachine(initial.plus, initial.minus);
      inputStream.close();
      out.close();
    } catch (java.io.IOException e) {

       final Configuration shallowCopy = automatonAfterInit.config.copy();shallowCopy.setLearnerCloneGraph(false);
       LearnerGraph copyOfAutomaton = new LearnerGraph(shallowCopy);LearnerGraph.copyGraphs(automatonAfterInit, copyOfAutomaton);
       ourLearner.setInitPta(copyOfAutomaton);
       RecordProgressDecorator recorder = new RecordProgressDecorator(ourLearner.getLearner(),log,1,learnerInitConfiguration.config,true);
       learnerInitConfiguration.graph = smallPTA;learnerInitConfiguration.testSet = new LinkedList<List<statechum.Label>>();
    recorder.writeLearnerEvaluationData(learnerInitConfiguration);
    recorder.init(new LinkedList<List<Label>>(),new LinkedList<List<Label>>());
    recorder.close();
    log.close();// double-close in fact (should already been closed by recorder) but it does not really matter.
   }

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.