This package (including sub-packages) contains utility code for formalizing test-cases.
-
Class Summary
Class |
Description |
AbstractBFOracleTest<D> |
|
AbstractGrowingAlphabetDFATest<L extends SupportsGrowingAlphabet<Character> & LearningAlgorithm<DFA<?,Character>,Character,Boolean>> |
|
AbstractGrowingAlphabetMealyTest<L extends SupportsGrowingAlphabet<Character> & LearningAlgorithm<MealyMachine<?,Character,?,Character>,Character,Word<Character>>> |
|
AbstractGrowingAlphabetMooreTest<L extends SupportsGrowingAlphabet<Character> & LearningAlgorithm<MooreMachine<?,Character,?,Character>,Character,Word<Character>>> |
|
AbstractGrowingAlphabetTest<L extends SupportsGrowingAlphabet<I> & LearningAlgorithm<M,I,D>,M extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,D>,OR,I,D> |
Simple (abstract super) test class that checks the basic workflow of a learning algorithm that implements SupportsGrowingAlphabet .
|
AbstractResumableLearnerDFATest<L extends Resumable<T> & LearningAlgorithm<DFA<?,Character>,Character,Boolean>,T> |
|
AbstractResumableLearnerMealyTest<L extends Resumable<T> & LearningAlgorithm<MealyMachine<?,Character,?,Character>,Character,Word<Character>>,T> |
|
AbstractResumableLearnerMooreTest<L extends Resumable<T> & LearningAlgorithm<MooreMachine<?,Character,?,Character>,Character,Word<Character>>,T> |
|
AbstractResumableLearnerTest<L extends Resumable<T> & LearningAlgorithm<M,I,D>,M extends UniversalDeterministicAutomaton<?,I,?,?,?>,OR,I,D,T> |
Test class that checks the workflow of a learning algorithm that implements Resumable .
|
AbstractVisualizationTest<L extends LearningAlgorithm<? extends MealyMachine<?,ExampleCoffeeMachine.Input,?,String>,ExampleCoffeeMachine.Input,Word<String>>> |
Abstract class for tests that check the visualization of hypotheses or other internal data structure.
|
ResumeUtils |
|