java.lang.Object
- de.learnlib.testsupport.AbstractResumableLearnerTest<L,net.automatalib.automaton.fsa.DFA<?,Character>,MembershipOracle.DFAMembershipOracle<Character>,Character,Boolean,T>
- - de.learnlib.testsupport.AbstractResumableLearnerDFATest<L,T>

public abstract class AbstractResumableLearnerDFATest<L extends Resumable<T> & LearningAlgorithm<net.automatalib.automaton.fsa.DFA<?,Character>,Character,Boolean>,T>
extends AbstractResumableLearnerTest<L,net.automatalib.automaton.fsa.DFA<?,Character>,MembershipOracle.DFAMembershipOracle<Character>,Character,Boolean,T>

Field Summary
- Fields inherited from class de.learnlib.testsupport.AbstractResumableLearnerTest
  RANDOM_SEED

Constructor Summary

Constructors
Constructor Description

AbstractResumableLearnerDFATest()

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`protected net.automatalib.alphabet.Alphabet<Character>`	`getInitialAlphabet()`
`protected MembershipOracle.DFAMembershipOracle<Character>`	`getOracle(net.automatalib.automaton.fsa.DFA<?,Character> target)`
`protected net.automatalib.automaton.fsa.DFA<?,Character>`	`getTarget(net.automatalib.alphabet.Alphabet<Character> alphabet)`

Methods inherited from class de.learnlib.testsupport.AbstractResumableLearnerTest
getLearner, getRounds, setup, testSuspendAndResumeLearner

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - AbstractResumableLearnerDFATest
```
public AbstractResumableLearnerDFATest()
```
- Method Detail
  - getInitialAlphabet
```
protected net.automatalib.alphabet.Alphabet<Character> getInitialAlphabet()
```
    Specified by:
    
    getInitialAlphabet in class AbstractResumableLearnerTest<L extends Resumable<T> & LearningAlgorithm<net.automatalib.automaton.fsa.DFA<?,Character>,Character,Boolean>,net.automatalib.automaton.fsa.DFA<?,Character>,MembershipOracle.DFAMembershipOracle<Character>,Character,Boolean,T>
  - getTarget
```
protected net.automatalib.automaton.fsa.DFA<?,Character> getTarget(net.automatalib.alphabet.Alphabet<Character> alphabet)
```
    Specified by:
    
    getTarget in class AbstractResumableLearnerTest<L extends Resumable<T> & LearningAlgorithm<net.automatalib.automaton.fsa.DFA<?,Character>,Character,Boolean>,net.automatalib.automaton.fsa.DFA<?,Character>,MembershipOracle.DFAMembershipOracle<Character>,Character,Boolean,T>
  - getOracle
```
protected MembershipOracle.DFAMembershipOracle<Character> getOracle(net.automatalib.automaton.fsa.DFA<?,Character> target)
```
    Specified by:
    
    getOracle in class AbstractResumableLearnerTest<L extends Resumable<T> & LearningAlgorithm<net.automatalib.automaton.fsa.DFA<?,Character>,Character,Boolean>,net.automatalib.automaton.fsa.DFA<?,Character>,MembershipOracle.DFAMembershipOracle<Character>,Character,Boolean,T>

Class AbstractResumableLearnerDFATest<L extends Resumable<T> & LearningAlgorithm<net.automatalib.automaton.fsa.DFA<?,​Character>,​Character,​Boolean>,​T>

Field Summary

Fields inherited from class de.learnlib.testsupport.AbstractResumableLearnerTest

Constructor Summary

Method Summary

Methods inherited from class de.learnlib.testsupport.AbstractResumableLearnerTest

Methods inherited from class java.lang.Object

Constructor Detail

AbstractResumableLearnerDFATest

Method Detail

getInitialAlphabet

getTarget

getOracle

Class AbstractResumableLearnerDFATest<L extends Resumable<T> & LearningAlgorithm<net.automatalib.automaton.fsa.DFA<?,Character>,Character,Boolean>,T>