Examples of learnMachine()

Examples of statechum.analysis.learning.observers.QuestionAndRestartCounter.learnMachine()

135
136
137
138
139
140
141
142
143
144
145
    innerLearner.addObserver(viz);
    innerLearner.setGraphNameSuffix(new File(tracesFile).getName());
    innerLearner.getTentativeAutomaton().getLayoutOptions().showNegatives = false;
    QuestionAndRestartCounter counter = new QuestionAndRestartCounter(innerLearner);
   
    LearnerGraph result = counter.learnMachine();
    if (innerLearner.getTentativeAutomaton().config.getErlangDisplayStatistics())
    {
      System.out.println("STATISTICS: "+counter.getQuestionCounter()+" questions, "+counter.getRestarts()+" restarts");
    }
   
View Full Code Here

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

88
89
90
91
92
93
94
95
96
97
98
      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);
    } catch (java.io.IOException e) {
      statechum.Helper.throwUnchecked("failure reading/writing log files", e);
    }
  }
 
View Full Code Here

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

95
96
97
98
99
100
101
102
103
104
105
      Configuration progressRecorderConfig = evalData.config.copy();progressRecorderConfig.setCompressLogs(false);
      out = new java.io.FileOutputStream(GlobalConfiguration.getConfiguration().getProperty(G_PROPERTIES.TEMP)+File.separator+"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) {
      statechum.Helper.throwUnchecked("failure reading/writing log files", e);
    }
View Full Code Here

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

86
87
88
89
90
91
92
93
94
95
96
      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);
    } catch (java.io.IOException e) {
      statechum.Helper.throwUnchecked("failure reading/writing log files", e);
    }
  }
 
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
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.