algorithms: make all learner state classes public

Constructors and getters should be package private so that the suspend/resume logic cannot be interferred with.

(cherry picked from commit 8415f9d)

Author: abainczyk

algorithms/active/adt/src/main/java/de/learnlib/algorithms/adt/learner/ADTLearnerState.java

@@ -37,7 +37,7 @@ public class ADTLearnerState<S, I, O> implements Serializable {
     private final ADTHypothesis<I, O> hypothesis;
     private final ADT<S, I, O> adt;
 
-    public ADTLearnerState(ADTHypothesis<I, O> hypothesis, ADT<S, I, O> adt) {
+    ADTLearnerState(ADTHypothesis<I, O> hypothesis, ADT<S, I, O> adt) {
         this.hypothesis = hypothesis;
         this.adt = adt;
     }

algorithms/active/dhc/src/main/java/de/learnlib/algorithms/dhc/mealy/MealyDHCState.java

@@ -34,7 +34,7 @@
  *
  * @author bainczyk
  */
-class MealyDHCState<I, O> implements Serializable {
+public class MealyDHCState<I, O> implements Serializable {
 
     private final LinkedHashSet<Word<I>> splitters;
     private final CompactMealy<I, O> hypothesis;

algorithms/active/kearns-vazirani/src/main/java/de/learnlib/algorithms/kv/dfa/KearnsVaziraniDFAState.java

@@ -30,7 +30,7 @@
  *
  * @author bainczyk
  */
-class KearnsVaziraniDFAState<I> implements Serializable {
+public class KearnsVaziraniDFAState<I> implements Serializable {
 
     private final CompactDFA<I> hypothesis;
     private final BinaryDTree<I, StateInfo<I, Boolean>> discriminationTree;

algorithms/active/kearns-vazirani/src/main/java/de/learnlib/algorithms/kv/mealy/KearnsVaziraniMealyState.java

@@ -33,7 +33,7 @@
  *
  * @author bainczyk
  */
-class KearnsVaziraniMealyState<I, O> implements Serializable {
+public class KearnsVaziraniMealyState<I, O> implements Serializable {
 
     private final CompactMealy<I, O> hypothesis;
     private final AbstractWordBasedDiscriminationTree<I, Word<O>, StateInfo<I, Word<O>>> discriminationTree;

algorithms/active/lstar/src/main/java/de/learnlib/algorithms/lstar/AbstractLStarState.java

@@ -33,7 +33,7 @@ public abstract class AbstractLStarState<I, D> implements Serializable {
 
     private final GenericObservationTable<I, D> observationTable;
 
-    public AbstractLStarState(final GenericObservationTable<I, D> observationTable) {
+    AbstractLStarState(final GenericObservationTable<I, D> observationTable) {
         this.observationTable = observationTable;
     }
 

algorithms/active/lstar/src/main/java/de/learnlib/algorithms/lstar/AutomatonLStarState.java

@@ -40,9 +40,9 @@ public class AutomatonLStarState<I, D, AI, S> extends AbstractLStarState<I, D> {
     private final AI hypothesis;
     private final List<StateInfo<S, I>> stateInfos;
 
-    public AutomatonLStarState(final GenericObservationTable<I, D> observationTable,
-                               final AI hypothesis,
-                               final List<StateInfo<S, I>> stateInfos) {
+    AutomatonLStarState(final GenericObservationTable<I, D> observationTable,
+                        final AI hypothesis,
+                        final List<StateInfo<S, I>> stateInfos) {
         super(observationTable);
         this.hypothesis = hypothesis;
         this.stateInfos = stateInfos;