cleanups

LearnLib · Jan 16, 2025 · a65b311 · a65b311
1 parent 512a80e
commit a65b311
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/...rc/main/java/de/learnlib/testsupport/example/mealy/ExampleRandomStateLocalInputMealy.java b/...rc/main/java/de/learnlib/testsupport/example/mealy/ExampleRandomStateLocalInputMealy.java
@@ -76,7 +76,7 @@ private ExampleRandomStateLocalInputMealy(Random random,
         }
 
         final CompactMealy<I, O> minimized = HopcroftMinimizer.minimizeMealyInvasive(source, alphabet);
-        final MutableMapping<Integer, @Nullable Collection<I>> enabledInputs = source.createStaticStateMapping();
+        final MutableMapping<Integer, Collection<I>> enabledInputs = source.createStaticStateMapping();
 
         for (Integer s : minimized) {
             final Collection<I> stateInputs = new HashSet<>(alphabet);
@@ -131,9 +131,9 @@ private static <O> List<O> validateOutputs(O undefinedOutput, O... outputs) {
     private static class MockedSLIMealy<S, I, T, O> implements StateLocalInputMealyMachine<S, I, T, O> {
 
         private final MealyMachine<S, I, T, O> delegate;
-        private final Mapping<S, @Nullable Collection<I>> localInputs;
+        private final Mapping<S, Collection<I>> localInputs;
 
-        MockedSLIMealy(MealyMachine<S, I, T, O> delegate, Mapping<S, @Nullable Collection<I>> localInputs) {
+        MockedSLIMealy(MealyMachine<S, I, T, O> delegate, Mapping<S, Collection<I>> localInputs) {
             this.delegate = delegate;
             this.localInputs = localInputs;
         }