Package de.learnlib.testsupport.it.learner

Class UniversalDeterministicLearnerITCase<I,D,M extends UniversalDeterministicAutomaton<?,I,?,?,?>>

java.lang.Object

de.learnlib.testsupport.it.learner.UniversalDeterministicLearnerITCase<I,D,M>

All Implemented Interfaces:

org.testng.ITest

public class UniversalDeterministicLearnerITCase<I,D,M extends UniversalDeterministicAutomaton<?,I,?,?,?>>
extends Object

Method Summary

Modifier and Type	Method	Description
protected Word<I>	checkEquivalence(M hypothesis)
String	getTestName()
void	testLearning()

Methods inherited from class java.lang.Object

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

Method Detail

checkEquivalence

protected Word<I> checkEquivalence(M hypothesis)

testLearning

public void testLearning()

getTestName

public String getTestName()

Specified by:

getTestName in interface org.testng.ITest