Package statechum.analysis.learning.experiments.ExperimentRunner

Examples of statechum.analysis.learning.experiments.ExperimentRunner.GeneratorConfiguration


            config.setQuestionPathUnionLimit(limit);
            config.setSpeculativeQuestionAsking(speculative);

            String experimentDescription = "BLUE_"+qk+"_"+(limit<0?"all":limit)+(speculative?"_SPEC_":"");
            learnerNames.add(experimentDescription);
            experiment.addLearnerEvaluator(new GeneratorConfiguration(config,RPNIEvaluator.class,experimentDescription));
          }     
     
      //experiment.setOutputDir(experimentDescription+"_");
      //experiment.runExperiment(args);
      experiment.robustRunExperiment("resources/testfilelist.txt", "output/Incremental");
View Full Code Here


            config.setQuestionPathUnionLimit(limit);
            config.setSpeculativeQuestionAsking(speculative);

            String experimentDescription = "BLUE_"+qk+"_"+(limit<0?"all":limit)+(speculative?"_SPEC_":"");
            learnerNames.add(experimentDescription);
            experiment.addLearnerEvaluator(new GeneratorConfiguration(config,RPNIEvaluator.class,experimentDescription));
          }     
     
      //experiment.setOutputDir(experimentDescription+"_");
      //experiment.runExperiment(args);
      experiment.robustRunExperiment(GlobalConfiguration.getConfiguration().getProperty(G_PROPERTIES.RESOURCES)+File.separator+"testfilelist.txt", "output/Incremental");
View Full Code Here

            Configuration config= Configuration.getDefaultConfiguration().copy();
            config.setLearnerIdMode(IDMode.POSITIVE_NEGATIVE);           
            config.setQuestionGenerator(qk);
            config.setQuestionPathUnionLimit(limit);
            config.setSpeculativeQuestionAsking(speculative);
            experiment.addLearnerEvaluator(new GeneratorConfiguration(config,IterativeEvaluator.class,experimentDescription));
          }     
     
      //experiment.setOutputDir(experimentDescription+"_");
      experiment.runExperiment(args);
    } catch (Exception e1) {
View Full Code Here

            config.setQuestionPathUnionLimit(limit);
            config.setSpeculativeQuestionAsking(speculative);

            String experimentDescription = "BLUE_"+qk+"_"+(limit<0?"all":limit)+(speculative?"_SPEC_":"");
            learnerNames.add(experimentDescription);
            experiment.addLearnerEvaluator(new GeneratorConfiguration(config,RPNIEvaluator.class,experimentDescription));
          }     
     
      //experiment.setOutputDir(experimentDescription+"_");
      //experiment.runExperiment(args);
      experiment.robustRunExperiment("resources/testfilelist.txt", "output/Incremental");
View Full Code Here

  {
    ExperimentRunner experiment = new ExperimentRunner();
    experiment.setLearnerStages(new int[]{10,20,30,40,50,60,70,80,90});
    Configuration config = Configuration.getDefaultConfiguration();
    config.setLearnerIdMode(IDMode.POSITIVE_NEGATIVE);
    experiment.addLearnerEvaluator(new GeneratorConfiguration(config,RPNIEvaluator.class,"Path_compression"));
  }
View Full Code Here

            Configuration config= Configuration.getDefaultConfiguration().copy();
            config.setLearnerIdMode(IDMode.POSITIVE_NEGATIVE);           
            config.setQuestionGenerator(qk);
            config.setQuestionPathUnionLimit(limit);
            config.setSpeculativeQuestionAsking(speculative);
            experiment.addLearnerEvaluator(new GeneratorConfiguration(config,IterativeEvaluator.class,experimentDescription));
          }     
     
      //experiment.setOutputDir(experimentDescription+"_");
      experiment.runExperiment(args);
    } catch (Exception e1) {
View Full Code Here

  public static void main(String []args)
  {
    try {
      ExperimentRunner experiment = new ExperimentRunner();
      experiment.addLearnerEvaluator(new GeneratorConfiguration(Configuration.getDefaultConfiguration(),WEvaluator.class,"W_learner"));
      experiment.runExperiment(args);
    } catch (Exception e1) {
      e1.printStackTrace();
      return;
    }
View Full Code Here

    populateGraphs();
   
    multiExp = new ExperimentRunner();multiExp.graphsPerRunner=4;multiExp.setTimeBetweenHearbeats(heartbeatTestValue);
    multiExp.setTimeBetweenHearbeats(heartbeatTestValue);// make things run fast.
    multiExp.setLearnerStages(new int[]{30,45,90,99});
    multiExp.addLearnerEvaluator(new GeneratorConfiguration(Configuration.getDefaultConfiguration(),
        w_evaluator.class, "learnerTransitions"));
    multiExp.addLearnerEvaluator(new GeneratorConfiguration(Configuration.getDefaultConfiguration(),
        a_evaluator.class, "learnerAlphabet"));

    List<String> result = new LinkedList<String>();
    for(Entry<String,LearnerGraph> gr:graphs.entrySet())
      for(int stage:new int[]{30,45,90,99})
View Full Code Here

  }
 
  protected ExperimentRunner getSingleStageEvaluator()
  {
    ExperimentRunner experiment = new ExperimentRunner();experiment.graphsPerRunner=4;experiment.setTimeBetweenHearbeats(heartbeatTestValue );
    experiment.addLearnerEvaluator(new GeneratorConfiguration(Configuration.getDefaultConfiguration(),
        countEdge_evaluator.class,"testAllGraphsSingleStage"));
    return experiment;
  }
View Full Code Here

   */
  @Test
  public final void testInvalidLearnerEvaluatorName1()
  {
    final ExperimentRunner experiment = new ExperimentRunner();experiment.graphsPerRunner=4;experiment.setTimeBetweenHearbeats(heartbeatTestValue);
    experiment.addLearnerEvaluator(new GeneratorConfiguration(Configuration.getDefaultConfiguration(),
        w_evaluator.class, "invalid"+FS));
    checkForCorrectException(new whatToRun() { public @Override void run() throws NumberFormatException, IOException {
      experiment.runExperiment(new String[]{testGraphsDir.getAbsolutePath()});
    }},IllegalArgumentException.class,"invalid learner name");
  }
View Full Code Here

TOP

Related Classes of statechum.analysis.learning.experiments.ExperimentRunner.GeneratorConfiguration

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.