Package de.learnlib.testsupport

Class AbstractResumableLearnerTest<L extends Resumable<T> & LearningAlgorithm<M,I,D>,M extends UniversalDeterministicAutomaton<?,I,?,?,?>,OR,I,D,T>

java.lang.Object

de.learnlib.testsupport.AbstractResumableLearnerTest<L,M,OR,I,D,T>

Type Parameters:

L - learner type

M - hypothesis type

OR - membership oracle type

I - input symbol type

D - output domain type

T - state type

Direct Known Subclasses:

AbstractResumableLearnerDFATest, AbstractResumableLearnerMealyTest, AbstractResumableLearnerMooreTest

public abstract class AbstractResumableLearnerTest<L extends Resumable<T> & LearningAlgorithm<M,I,D>,M extends UniversalDeterministicAutomaton<?,I,?,?,?>,OR,I,D,T>
extends Object

Test class that checks the workflow of a learning algorithm that implements Resumable.

Field Summary

Fields

Modifier and Type	Field	Description
protected static int	RANDOM_SEED

Constructor Summary

Constructors

Constructor	Description
AbstractResumableLearnerTest()

Method Summary

Modifier and Type	Method	Description
protected abstract EquivalenceOracle<M,I,D>	getEquivalenceOracle(M target)
protected abstract Alphabet<I>	getInitialAlphabet()
protected abstract L	getLearner(OR oracle, Alphabet<I> alphabet)
protected abstract OR	getOracle(M target)
protected abstract int	getRounds()
protected abstract M	getTarget(Alphabet<I> alphabet)
void	setup()
void	testSuspendAndResumeLearner()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

RANDOM_SEED

protected static final int RANDOM_SEED

See Also:

Constant Field Values

Constructor Detail

AbstractResumableLearnerTest

public AbstractResumableLearnerTest()

Method Detail

setup

@BeforeClass
public void setup()

getInitialAlphabet

protected abstract Alphabet<I> getInitialAlphabet()

getTarget

protected abstract M getTarget(Alphabet<I> alphabet)

getOracle

protected abstract OR getOracle(M target)

getEquivalenceOracle

protected abstract EquivalenceOracle<M,I,D> getEquivalenceOracle(M target)

getLearner

protected abstract L getLearner(OR oracle,
                                Alphabet<I> alphabet)

getRounds

protected abstract int getRounds()

testSuspendAndResumeLearner

public void testSuspendAndResumeLearner()