Package de.learnlib.testsupport.it.learner

Class SPALearnerITCase<I>

java.lang.Object

de.learnlib.testsupport.it.learner.SPALearnerITCase<I>

All Implemented Interfaces:

org.testng.ITest

public class SPALearnerITCase<I>
extends Object

Method Summary

Modifier and Type	Method	Description
protected Word<I>	checkEquivalence(SPA<?,I> 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(SPA<?,I> hypothesis)

testLearning

public void testLearning()

getTestName

public String getTestName()

Specified by:

getTestName in interface org.testng.ITest