Skip to content

Commit 68eabd4

Browse files
committed
clarify documentation
1 parent 1849dcd commit 68eabd4

2 files changed

Lines changed: 6 additions & 5 deletions

File tree

algorithms/active/nlstar/src/main/java/de/learnlib/algorithm/nlstar/NLStarLearner.java

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -26,6 +26,7 @@
2626
import de.learnlib.util.MQUtil;
2727
import de.learnlib.util.nfa.NFALearnerWrapper;
2828
import net.automatalib.alphabet.Alphabet;
29+
import net.automatalib.automaton.fsa.NFA;
2930
import net.automatalib.automaton.fsa.impl.CompactNFA;
3031
import net.automatalib.word.Word;
3132

@@ -183,7 +184,7 @@ private void constructHypothesis() {
183184
}
184185

185186
@Override
186-
public CompactNFA<I> getHypothesisModel() {
187+
public NFA<?, I> getHypothesisModel() {
187188
if (hypothesis == null) {
188189
throw new IllegalStateException();
189190
}

api/src/main/java/de/learnlib/algorithm/LearningAlgorithm.java

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -60,10 +60,10 @@ public interface LearningAlgorithm<M, I, D> {
6060
/**
6161
* Returns the current hypothesis model.
6262
* <p>
63-
* N.B.: By the contract of this interface, the model returned by this method may not be modified (i.e., M generally
64-
* should refer to an immutable interface), and its validity is retained only until the next invocation of {@link
65-
* #refineHypothesis(DefaultQuery)}. If older hypotheses have to be maintained, a copy of the returned model must be
66-
* made.
63+
* N.B.: By the contract of this interface, the model returned by this method should not be modified by external
64+
* code (i.e., M generally should refer to an immutable interface), and its validity is retained only until the next
65+
* invocation of {@link #refineHypothesis(DefaultQuery)}. If older hypotheses have to be maintained, a copy of the
66+
* returned model must be made.
6767
* <p>
6868
* Please note that it should be illegal to invoke this method before an initial invocation of {@link
6969
* #startLearning()}.

0 commit comments

Comments
 (0)