Replaced getUntimedAlphabet with getInputAlphabet

Author: tupaul

algorithms/active/lstar/src/main/java/de/learnlib/algorithm/lstar/mmlt/hyp/LocalTimerMealyHypothesis.java

@@ -78,11 +78,6 @@ public Alphabet<I> getInputAlphabet() {
         return automaton.getInputAlphabet();
     }
 
-    @Override
-    public Alphabet<I> getUntimedAlphabet() {
-        return automaton.getUntimedAlphabet();
-    }
-
     @Override
     public S getInitialState() {
         return automaton.getInitialState();

algorithms/active/lstar/src/test/java/de/learnlib/algorithm/lstar/mmlt/LStarLocalTimerMealyBenchmarkTests.java

@@ -91,10 +91,10 @@ private static <S, I, T, O> void learnModel(String name, MMLT<S, I, T, O> automa
         var stats = new MapStatsContainer();
         stats.addTextInfo("LocalTimerMealyModel", null, name);
         stats.setCounter("original_locs", "Locations in original", automaton.getStates().size());
-        stats.setCounter("original_inputs", "Untimed alphabet size in original", automaton.getUntimedAlphabet().size());
+        stats.setCounter("original_inputs", "Untimed alphabet size in original", automaton.getInputAlphabet().size());
 
         // Set up a pipeline:
-        Alphabet<TimedInput<I>> alphabet = new GrowingMapAlphabet<>(automaton.getUntimedAlphabet().stream().map(TimedInput::input).toList());
+        Alphabet<TimedInput<I>> alphabet = new GrowingMapAlphabet<>(automaton.getInputAlphabet().stream().map(TimedInput::input).toList());
 
         // Query oracle -> TimeoutReducer -> Cache -> Query stats -> SUL
         LocalTimerMealySimulatorSUL<?, I, ?, O> sul = new LocalTimerMealySimulatorSUL<>(automaton.getSemantics());

algorithms/active/lstar/src/test/java/de/learnlib/algorithm/lstar/mmlt/LStarLocalTimerMealyCounterexampleTests.java

@@ -30,7 +30,7 @@ public class LStarLocalTimerMealyCounterexampleTests {
     private static <S, I, T, O> void learnModel(LocalTimerMealyModel<S, I, T, O> model, List<Word<TimedInput<I>>> counterexamples) {
 
         Alphabet<TimedInput<I>> alphabet =
-                new GrowingMapAlphabet<>(model.automaton().getUntimedAlphabet().stream().map(TimedInput::input).toList());
+                new GrowingMapAlphabet<>(model.automaton().getInputAlphabet().stream().map(TimedInput::input).toList());
 
         var sul = new LocalTimerMealySimulatorSUL<>(model.automaton().getSemantics());
         TimedQueryOracle<I, O> timeOracle = new TimedQueryOracle<>(sul, model.params());

examples/src/main/java/de/learnlib/example/mmlt/Example1.java

@@ -49,12 +49,12 @@ public static void main(String[] args) {
         var stats = new MapStatsContainer();
         stats.addTextInfo("LocalTimerMealyModel", null, model.name());
         stats.setCounter("original_locs", "Locations in original", model.automaton().getStates().size());
-        stats.setCounter("original_inputs", "Untimed alphabet size in original", model.automaton().getUntimedAlphabet().size());
+        stats.setCounter("original_inputs", "Untimed alphabet size in original", model.automaton().getInputAlphabet().size());
 
         // ======================
         // Set up the pipeline:
         Alphabet<TimedInput<String>> alphabet =
-                new GrowingMapAlphabet<>(model.automaton().getUntimedAlphabet().stream().map(TimedInput::input).toList());
+                new GrowingMapAlphabet<>(model.automaton().getInputAlphabet().stream().map(TimedInput::input).toList());
 
         // We use a simulator SUL to simulate our automaton:
         var sul = new LocalTimerMealySimulatorSUL<>(model.automaton().getSemantics());