Skip to content
Snippets Groups Projects
Commit 3237d83f authored by Thomas's avatar Thomas
Browse files

clean-up

parent 96ff0d4a
Branches
No related tags found
No related merge requests found
......@@ -13,8 +13,6 @@ import net.automatalib.visualization.Visualization;
import java.io.IOException;
import java.nio.file.Path;
import java.nio.file.Paths;
import java.util.Arrays;
import java.util.Collections;
public class DotfileNLStarLearner {
CompactDFA<String> target;
......
......@@ -18,13 +18,7 @@ import java.io.IOException;
import de.learnlib.algorithms.lstar.dfa.ClassicLStarDFA;
import de.learnlib.algorithms.lstar.dfa.ClassicLStarDFABuilder;
import de.learnlib.algorithms.lstar.mealy.ExtensibleLStarMealy;
import de.learnlib.algorithms.lstar.mealy.ExtensibleLStarMealyBuilder;
import de.learnlib.algorithms.rivestschapire.RivestSchapireDFA;
import de.learnlib.algorithms.rivestschapire.RivestSchapireDFABuilder;
import de.learnlib.api.algorithm.LearningAlgorithm;
import de.learnlib.api.oracle.MembershipOracle.DFAMembershipOracle;
import de.learnlib.datastructure.observationtable.OTUtils;
import de.learnlib.datastructure.observationtable.writer.ObservationTableASCIIWriter;
import de.learnlib.filter.statistic.oracle.CounterOracle.DFACounterOracle;
import de.learnlib.oracle.equivalence.RandomWMethodEQOracle;
......
......@@ -24,13 +24,7 @@ import de.learnlib.algorithms.lstar.mealy.ExtensibleLStarMealyBuilder;
import de.learnlib.algorithms.nlstar.NLStarLearner;
import de.learnlib.algorithms.nlstar.NLStarLearnerBuilder;
import de.learnlib.algorithms.nlstar.ObservationTable;
import de.learnlib.algorithms.rivestschapire.RivestSchapireDFA;
import de.learnlib.algorithms.rivestschapire.RivestSchapireDFABuilder;
import de.learnlib.api.algorithm.LearningAlgorithm;
import de.learnlib.api.oracle.MembershipOracle.DFAMembershipOracle;
import de.learnlib.datastructure.observationtable.OTUtils;
import de.learnlib.datastructure.observationtable.writer.ObservationTableASCIIWriter;
import de.learnlib.drivers.reflect.MethodInput;
import de.learnlib.filter.statistic.oracle.CounterOracle.DFACounterOracle;
import de.learnlib.oracle.equivalence.RandomWMethodEQOracle;
import de.learnlib.oracle.equivalence.RandomWordsEQOracle;
......
import de.learnlib.api.query.Query;
import de.learnlib.util.MQUtil;
import java.util.Collection;
import java.util.Collections;
import java.util.List;
import net.automatalib.automata.concepts.SuffixOutput;
import net.automatalib.automata.fsa.DFA;
import net.automatalib.words.Word;
import net.automatalib.words.WordBuilder;
import de.learnlib.oracle.membership.SimulatorOracle.DFASimulatorOracle;
public class RevDFASimulatorOracle<I> extends DFASimulatorOracle<I> {
......
import de.learnlib.oracle.membership.SimulatorOracle;
import net.automatalib.automata.concepts.SuffixOutput;
import net.automatalib.automata.fsa.DFA;
import net.automatalib.words.Word;
import net.automatalib.words.WordBuilder;
import de.learnlib.oracle.membership.SimulatorOracle.DFASimulatorOracle;
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment