Package statechum.analysis.learning.TestLearnerFromLargePTA

Examples of statechum.analysis.learning.TestLearnerFromLargePTA.RPNIBlueFringeTestVariability


   public void recordInitialConfiguration(LearnerGraph smallPTA) throws IOException
   {
       PTASequenceEngine engine = collectionOfTraces.get(UAVAllSeeds).tracesForUAVandFrame.get(UAVAllSeeds).get(maxFrameNumber);
      
       FileOutputStream log = new java.io.FileOutputStream("resources/largePTA/VeryLargePTA.zip");
       RPNIBlueFringeTestVariability ourLearner = new RPNIBlueFringeTestVariability(learnerInitConfiguration,true,null,null);
       LearnerGraph automatonAfterInit = ourLearner.getLearner().init(engine,0,0);
       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.
View Full Code Here

TOP

Related Classes of statechum.analysis.learning.TestLearnerFromLargePTA.RPNIBlueFringeTestVariability

Copyright © 2018 www.massapicom. 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.