Renamed the oracles to be consistent with current style.

Author: Jaxan

eqtests/basic-eqtests/src/main/java/de/learnlib/eqtests/basic/RandomWMethod.java renamed to eqtests/basic-eqtests/src/main/java/de/learnlib/eqtests/basic/RandomWMethodEQOracle.java

@@ -1,4 +1,4 @@
-package learnlib;
+package de.learnlib.eqtests.basic;
 
 import de.learnlib.api.EquivalenceOracle;
 import de.learnlib.api.MembershipOracle;
@@ -30,7 +30,7 @@
  * @param <D> output domain type
  * @author Joshua Moerman
  */
-public class RandomWMethod<A extends UniversalDeterministicAutomaton<?, I, ?, ?, ?> & Output<I, D>, I, D>
+public class RandomWMethodEQOracle<A extends UniversalDeterministicAutomaton<?, I, ?, ?, ?> & Output<I, D>, I, D>
         implements EquivalenceOracle<A, I, D> {
     private final MembershipOracle<I, D> sulOracle;
     private final int minimalSize;
@@ -44,7 +44,7 @@ public class RandomWMethod<A extends UniversalDeterministicAutomaton<?, I, ?, ?,
      * @param minimalSize minimal size of the random word
      * @param rndLength   expected length (in addition to minimalSize) of random word
      */
-    public RandomWMethod(MembershipOracle<I, D> sulOracle, int minimalSize, int rndLength) {
+    public RandomWMethodEQOracle(MembershipOracle<I, D> sulOracle, int minimalSize, int rndLength) {
         this.sulOracle = sulOracle;
         this.minimalSize = minimalSize;
         this.rndLength = rndLength;
@@ -59,7 +59,7 @@ public RandomWMethod(MembershipOracle<I, D> sulOracle, int minimalSize, int rndL
      * @param rndLength   expected length (in addition to minimalSize) of random word
      * @param bound       specifies the bound (set to 0 for unbounded).
      */
-    public RandomWMethod(MembershipOracle<I, D> sulOracle, int minimalSize, int rndLength, int bound) {
+    public RandomWMethodEQOracle(MembershipOracle<I, D> sulOracle, int minimalSize, int rndLength, int bound) {
         this.sulOracle = sulOracle;
         this.minimalSize = minimalSize;
         this.rndLength = rndLength;

eqtests/basic-eqtests/src/main/java/de/learnlib/eqtests/basic/RandomWpMethod.java renamed to eqtests/basic-eqtests/src/main/java/de/learnlib/eqtests/basic/RandomWpMethodEQOracle.java

@@ -1,4 +1,4 @@
-package learnlib;
+package de.learnlib.eqtests.basic;
 
 import de.learnlib.api.EquivalenceOracle;
 import de.learnlib.api.MembershipOracle;
@@ -31,7 +31,7 @@
  * @param <D> output domain type
  * @author Joshua Moerman
  */
-public class RandomWpMethod<A extends UniversalDeterministicAutomaton<?, I, ?, ?, ?> & Output<I, D>, I, D>
+public class RandomWpMethodEQOracle<A extends UniversalDeterministicAutomaton<?, I, ?, ?, ?> & Output<I, D>, I, D>
         implements EquivalenceOracle<A, I, D> {
     private final MembershipOracle<I, D> sulOracle;
     private final int minimalSize;
@@ -45,7 +45,7 @@ public class RandomWpMethod<A extends UniversalDeterministicAutomaton<?, I, ?, ?
      * @param minimalSize minimal size of the random word
      * @param rndLength   expected length (in addition to minimalSize) of random word
      */
-    public RandomWpMethod(MembershipOracle<I, D> sulOracle, int minimalSize, int rndLength) {
+    public RandomWpMethodEQOracle(MembershipOracle<I, D> sulOracle, int minimalSize, int rndLength) {
         this.sulOracle = sulOracle;
         this.minimalSize = minimalSize;
         this.rndLength = rndLength;
@@ -60,7 +60,7 @@ public RandomWpMethod(MembershipOracle<I, D> sulOracle, int minimalSize, int rnd
      * @param rndLength   expected length (in addition to minimalSize) of random word
      * @param bound       specifies the bound (set to 0 for unbounded).
      */
-    public RandomWpMethod(MembershipOracle<I, D> sulOracle, int minimalSize, int rndLength, int bound) {
+    public RandomWpMethodEQOracle(MembershipOracle<I, D> sulOracle, int minimalSize, int rndLength, int bound) {
         this.sulOracle = sulOracle;
         this.minimalSize = minimalSize;
         this.rndLength = rndLength;