From 3237d83f395e26e367912bd55ddb973786dcfb51 Mon Sep 17 00:00:00 2001
From: Thomas <thomas.vogt1@rwth-aachen.de>
Date: Fri, 7 Feb 2020 12:01:36 +0100
Subject: [PATCH] clean-up
---
learnlib/DotfileNLStarLearner.java | 2 --
learnlib/Example1.java | 6 ------
learnlib/Example1nlstar.java | 6 ------
learnlib/RevDFASimulatorOracle.java | 7 -------
learnlib/RevSimulatorOracle.java | 1 -
5 files changed, 22 deletions(-)
diff --git a/learnlib/DotfileNLStarLearner.java b/learnlib/DotfileNLStarLearner.java
index c487fe7..9b7cf8b 100644
--- a/learnlib/DotfileNLStarLearner.java
+++ b/learnlib/DotfileNLStarLearner.java
@@ -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;
diff --git a/learnlib/Example1.java b/learnlib/Example1.java
index 15dafb8..10b225f 100644
--- a/learnlib/Example1.java
+++ b/learnlib/Example1.java
@@ -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;
diff --git a/learnlib/Example1nlstar.java b/learnlib/Example1nlstar.java
index 2636827..e15195d 100644
--- a/learnlib/Example1nlstar.java
+++ b/learnlib/Example1nlstar.java
@@ -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;
diff --git a/learnlib/RevDFASimulatorOracle.java b/learnlib/RevDFASimulatorOracle.java
index 7dc1f50..8a0d755 100644
--- a/learnlib/RevDFASimulatorOracle.java
+++ b/learnlib/RevDFASimulatorOracle.java
@@ -1,12 +1,5 @@
-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> {
diff --git a/learnlib/RevSimulatorOracle.java b/learnlib/RevSimulatorOracle.java
index 088fbab..9c7cd42 100644
--- a/learnlib/RevSimulatorOracle.java
+++ b/learnlib/RevSimulatorOracle.java
@@ -1,6 +1,5 @@
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;
--
GitLab