adjust to AutomataLib refactorings

Author: mtf90

oracles/emptiness-oracles/src/main/java/de/learnlib/oracle/emptiness/AbstractBFEmptinessOracle.java

@@ -31,7 +31,7 @@
 import de.learnlib.tooling.annotation.refinement.Interface;
 import de.learnlib.tooling.annotation.refinement.Mapping;
 import de.learnlib.util.AbstractBFOracle;
-import net.automatalib.automaton.concept.DetOutputAutomaton;
+import net.automatalib.automaton.concept.DeterministicOutputAutomaton;
 import net.automatalib.automaton.fsa.DFA;
 import net.automatalib.automaton.transducer.MealyMachine;
 import net.automatalib.word.Word;
@@ -69,7 +69,7 @@
                     interfaces = {@Interface(clazz = MealyEmptinessOracle.class,
                                              generics = {@Generic("I"), @Generic("O")}),
                                   @Interface(clazz = MealyOracle.class, generics = {@Generic("I"), @Generic("O")})})
-public abstract class AbstractBFEmptinessOracle<A extends DetOutputAutomaton<?, I, ?, D>, I, D>
+public abstract class AbstractBFEmptinessOracle<A extends DeterministicOutputAutomaton<?, I, ?, D>, I, D>
         extends AbstractBFOracle<A, I, D> implements EmptinessOracle<A, I, D> {
 
     protected AbstractBFEmptinessOracle(MembershipOracle<I, D> membershipOracle, double multiplier) {

oracles/emptiness-oracles/src/test/java/de/learnlib/oracle/emptiness/AbstractBFEmptinessOracleTest.java

@@ -18,7 +18,7 @@
 import de.learnlib.query.DefaultQuery;
 import de.learnlib.testsupport.AbstractBFOracleTest;
 import de.learnlib.util.AbstractBFOracle;
-import net.automatalib.automaton.concept.DetOutputAutomaton;
+import net.automatalib.automaton.concept.DeterministicOutputAutomaton;
 import net.automatalib.ts.simple.SimpleDTS;
 import org.testng.Assert;
 import org.testng.annotations.BeforeMethod;
@@ -27,7 +27,7 @@
 /**
  * Tests any breadth-first emptiness oracle.
  */
-public abstract class AbstractBFEmptinessOracleTest<A extends DetOutputAutomaton<?, Character, ?, D>, D>
+public abstract class AbstractBFEmptinessOracleTest<A extends DeterministicOutputAutomaton<?, Character, ?, D>, D>
         extends AbstractBFOracleTest<D> {
 
     private AbstractBFEmptinessOracle<A, Character, D> bfeo;

oracles/equivalence-oracles/src/main/java/de/learnlib/oracle/equivalence/AbstractBFInclusionOracle.java

@@ -31,7 +31,7 @@
 import de.learnlib.tooling.annotation.refinement.Interface;
 import de.learnlib.tooling.annotation.refinement.Mapping;
 import de.learnlib.util.AbstractBFOracle;
-import net.automatalib.automaton.concept.DetOutputAutomaton;
+import net.automatalib.automaton.concept.DeterministicOutputAutomaton;
 import net.automatalib.automaton.fsa.DFA;
 import net.automatalib.automaton.transducer.MealyMachine;
 import net.automatalib.word.Word;
@@ -72,7 +72,7 @@
                     interfaces = {@Interface(clazz = MealyInclusionOracle.class,
                                              generics = {@Generic("I"), @Generic("O")}),
                                   @Interface(clazz = MealyOracle.class, generics = {@Generic("I"), @Generic("O")})})
-public abstract class AbstractBFInclusionOracle<A extends DetOutputAutomaton<?, I, ?, D>, I, D>
+public abstract class AbstractBFInclusionOracle<A extends DeterministicOutputAutomaton<?, I, ?, D>, I, D>
         extends AbstractBFOracle<A, I, D> implements InclusionOracle<A, I, D> {
 
     public AbstractBFInclusionOracle(MembershipOracle<I, D> membershipOracle, double multiplier) {

oracles/equivalence-oracles/src/main/java/de/learnlib/oracle/equivalence/mealy/SymbolEQOracleWrapper.java

@@ -20,11 +20,11 @@
 
 import de.learnlib.oracle.EquivalenceOracle;
 import de.learnlib.query.DefaultQuery;
-import net.automatalib.automaton.concept.DetSuffixOutputAutomaton;
+import net.automatalib.automaton.concept.DeterministicSuffixOutputAutomaton;
 import net.automatalib.word.Word;
 import org.checkerframework.checker.nullness.qual.Nullable;
 
-public class SymbolEQOracleWrapper<A extends DetSuffixOutputAutomaton<?, I, ?, Word<O>>, I, O>
+public class SymbolEQOracleWrapper<A extends DeterministicSuffixOutputAutomaton<?, I, ?, Word<O>>, I, O>
         implements EquivalenceOracle<A, I, O> {
 
     private final EquivalenceOracle<? super A, I, Word<O>> wordEqOracle;

oracles/equivalence-oracles/src/test/java/de/learnlib/oracle/equivalence/AbstractBFInclusionOracleTest.java

@@ -18,7 +18,7 @@
 import de.learnlib.query.DefaultQuery;
 import de.learnlib.testsupport.AbstractBFOracleTest;
 import de.learnlib.util.AbstractBFOracle;
-import net.automatalib.automaton.concept.DetOutputAutomaton;
+import net.automatalib.automaton.concept.DeterministicOutputAutomaton;
 import net.automatalib.ts.simple.SimpleDTS;
 import org.testng.Assert;
 import org.testng.annotations.BeforeMethod;
@@ -29,7 +29,7 @@
  *
  * @param <D> the output type
  */
-public abstract class AbstractBFInclusionOracleTest<A extends DetOutputAutomaton<?, Character, ?, D>, D>
+public abstract class AbstractBFInclusionOracleTest<A extends DeterministicOutputAutomaton<?, Character, ?, D>, D>
         extends AbstractBFOracleTest<D> {
 
     private DefaultQuery<Character, D> query;

oracles/equivalence-oracles/src/test/java/de/learnlib/oracle/equivalence/EmptyAutomatonOracleTest.java

@@ -25,11 +25,10 @@
 import net.automatalib.alphabet.Alphabet;
 import net.automatalib.automaton.AutomatonCreator;
 import net.automatalib.automaton.UniversalDeterministicAutomaton;
-import net.automatalib.automaton.concept.DetSuffixOutputAutomaton;
+import net.automatalib.automaton.concept.DeterministicSuffixOutputAutomaton;
 import net.automatalib.automaton.concept.Output;
 import net.automatalib.automaton.fsa.impl.CompactDFA;
 import net.automatalib.automaton.transducer.impl.CompactMealy;
-import net.automatalib.exception.UndefinedPropertyAccessException;
 import org.testng.Assert;
 import org.testng.annotations.Test;
 
@@ -42,11 +41,10 @@ public void testEmptyDFA() {
 
     @Test
     public void testEmptyMealy() {
-        Assert.assertThrows(UndefinedPropertyAccessException.class,
-                            () -> testEmptyAutomaton(ExampleStack.createExample(), new CompactMealy.Creator<>()));
+        testEmptyAutomaton(ExampleStack.createExample(), new CompactMealy.Creator<>());
     }
 
-    private <I, D, A extends DetSuffixOutputAutomaton<?, I, ?, D> & UniversalDeterministicAutomaton<?, I, ?, ?, ?>> void testEmptyAutomaton(
+    private <I, D, A extends DeterministicSuffixOutputAutomaton<?, I, ?, D> & UniversalDeterministicAutomaton<?, I, ?, ?, ?>> void testEmptyAutomaton(
             LearningExample<I, A> example,
             AutomatonCreator<? extends A, I> emptyCreator) {