de.learnlib.experiments.Experiment Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of learnlib-core Show documentation
Show all versions of learnlib-core Show documentation
Infrastructure and core functionalities of LearnLib
/* Copyright (C) 2013-2014 TU Dortmund
* This file is part of LearnLib, http://www.learnlib.de/.
*
* LearnLib is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public
* License version 3.0 as published by the Free Software Foundation.
*
* LearnLib is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* Lesser General Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public
* License along with LearnLib; if not, see
* .
*/
package de.learnlib.experiments;
import javax.annotation.Nonnull;
import javax.annotation.ParametersAreNonnullByDefault;
import net.automatalib.automata.fsa.DFA;
import net.automatalib.automata.transout.MealyMachine;
import net.automatalib.words.Alphabet;
import net.automatalib.words.Word;
import de.learnlib.api.EquivalenceOracle;
import de.learnlib.api.LearningAlgorithm;
import de.learnlib.logging.LearnLogger;
import de.learnlib.oracles.DefaultQuery;
import de.learnlib.statistics.Counter;
import de.learnlib.statistics.SimpleProfiler;
/**
* runs a learning experiment.
*
* @author falkhowar
* @param
*/
@ParametersAreNonnullByDefault
public class Experiment {
public static class DFAExperiment extends Experiment> {
public DFAExperiment(
LearningAlgorithm, I, Boolean> learningAlgorithm,
EquivalenceOracle, I, Boolean> equivalenceAlgorithm,
Alphabet inputs) {
super(learningAlgorithm, equivalenceAlgorithm, inputs);
}
}
public static class MealyExperiment extends Experiment> {
public MealyExperiment(
LearningAlgorithm, I, Word> learningAlgorithm,
EquivalenceOracle, I, Word> equivalenceAlgorithm,
Alphabet inputs) {
super(learningAlgorithm, equivalenceAlgorithm, inputs);
}
}
private final class ExperimentImpl {
private final LearningAlgorithm learningAlgorithm;
private final EquivalenceOracle equivalenceAlgorithm;
private final Alphabet inputs;
public ExperimentImpl(LearningAlgorithm learningAlgorithm, EquivalenceOracle equivalenceAlgorithm, Alphabet inputs) {
this.learningAlgorithm = learningAlgorithm;
this.equivalenceAlgorithm = equivalenceAlgorithm;
this.inputs = inputs;
}
public A run() {
rounds.increment();
logger.logPhase("Starting round " + rounds.getCount());
logger.logPhase("Learning");
profileStart("Learning");
learningAlgorithm.startLearning();
profileStop("Learning");
boolean done = false;
A hyp = null;
while (!done) {
hyp = learningAlgorithm.getHypothesisModel();
if (logModels) {
logger.logModel(hyp);
}
logger.logPhase("Searching for counterexample");
profileStart("Searching for counterexample");
DefaultQuery ce = equivalenceAlgorithm.findCounterExample(hyp, inputs);
profileStop("Searching for counterexample");
if (ce == null) {
done = true;
continue;
}
logger.logCounterexample(ce.getInput().toString());
// next round ...
rounds.increment();
logger.logPhase("Starting round " + rounds.getCount());
logger.logPhase("Learning");
profileStart("Learning");
learningAlgorithm.refineHypothesis(ce);
profileStop("Learning");
}
return hyp;
}
}
private static LearnLogger logger = LearnLogger.getLogger(Experiment.class);
private boolean logModels = false;
private boolean profile = false;
private Counter rounds = new Counter("rounds", "#");
private A finalHypothesis = null;
private final ExperimentImpl impl;
public Experiment(LearningAlgorithm learningAlgorithm, EquivalenceOracle equivalenceAlgorithm, Alphabet inputs) {
this.impl = new ExperimentImpl<>(learningAlgorithm, equivalenceAlgorithm, inputs);
}
/**
*
*/
@Nonnull
public A run() {
finalHypothesis = impl.run();
return finalHypothesis;
}
@Nonnull
public A getFinalHypothesis() {
if(finalHypothesis == null) {
throw new IllegalStateException("Experiment has not yet been run");
}
return finalHypothesis;
}
private void profileStart(String taskname) {
if (profile) {
SimpleProfiler.start(taskname);
}
}
private void profileStop(String taskname) {
if (profile) {
SimpleProfiler.stop(taskname);
}
}
/**
* @param logModels the logModels to set
*/
public void setLogModels(boolean logModels) {
this.logModels = logModels;
}
/**
* @param profile the profile to set
*/
public void setProfile(boolean profile) {
this.profile = profile;
}
/**
* @return the rounds
*/
@Nonnull
public Counter getRounds() {
return rounds;
}
}