LearnerITUtil (LearnLib 0.17.0 API)

java.lang.Object
- de.learnlib.testsupport.it.learner.LearnerITUtil

```
public final class LearnerITUtil
extends Object
```
Utility class for integration tests for a learning algorithm (or "learner").
A learner integration test tests the functionality of a learning algorithm against a well-defined set of example setups.

Method Summary

All Methods Static Methods Concrete Methods
Modifier and Type	Method	Description
`static <I> List<OneSEVPALearnerITCase<I>>`	`createExampleITCases(LearningExample.OneSEVPALearningExample<I> example, LearnerVariantListImpl.OneSEVPALearnerVariantListImpl<I> variants, EquivalenceOracle<OneSEVPA<?,I>,I,Boolean> eqOracle)`	Creates a list of per-example test cases for all learner variants.
`static <I> List<SBALearnerITCase<I>>`	`createExampleITCases(LearningExample.SBALearningExample<I> example, LearnerVariantListImpl.SBALearnerVariantListImpl<I> variants, EquivalenceOracle<SBA<?,I>,I,Boolean> eqOracle)`	Creates a list of per-example test cases for all learner variants.
`static <I> List<SPALearnerITCase<I>>`	`createExampleITCases(LearningExample.SPALearningExample<I> example, LearnerVariantListImpl.SPALearnerVariantListImpl<I> variants, EquivalenceOracle<SPA<?,I>,I,Boolean> eqOracle)`	Creates a list of per-example test cases for all learner variants.
`static <I,O> List<SPMMLearnerITCase<I,O>>`	`createExampleITCases(LearningExample.SPMMLearningExample<I,O> example, LearnerVariantListImpl.SPMMLearnerVariantListImpl<I,O> variants, EquivalenceOracle<SPMM<?,I,?,O>,I,Word<O>> eqOracle)`	Creates a list of per-example test cases for all learner variants.
`static <I,D,A extends UniversalDeterministicAutomaton<?,I,?,?,?>> List<UniversalDeterministicLearnerITCase<I,D,A>>`	`createExampleITCases(LearningExample.UniversalDeterministicLearningExample<I,? extends A> example, LearnerVariantListImpl<A,I,D> variants, EquivalenceOracle<? super A,I,D> eqOracle)`	Creates a list of per-example test cases for all learner variants.
`static <I,D,A extends SuffixOutput<I,D>> List<PassiveLearnerVariantITCase<I,D,A>>`	`createPassiveExampleITCases(PassiveLearningExample<I,D> example, PassiveLearnerVariantListImpl<A,I,D> variants)`	Creates a list of per-example test cases for all learner variants (passive version).
`static <I,D,M extends UniversalAutomaton<?,I,?,?,?> & SuffixOutput<I,D>> Collection<DefaultQuery<I,D>>`	`generateSamples(Alphabet<I> alphabet, M reference)`

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

Method Detail

createExampleITCases

public static <I,D,A extends UniversalDeterministicAutomaton<?,I,?,?,?>> List<UniversalDeterministicLearnerITCase<I,D,A>> createExampleITCases(LearningExample.UniversalDeterministicLearningExample<I,? extends A> example,
                                                                                                                                                                                               LearnerVariantListImpl<A,I,D> variants,
                                                                                                                                                                                               EquivalenceOracle<? super A,I,D> eqOracle)

Creates a list of per-example test cases for all learner variants.

Returns:: the list of test cases, one for each example

createExampleITCases

public static <I> List<SPALearnerITCase<I>> createExampleITCases(LearningExample.SPALearningExample<I> example,
                                                                 LearnerVariantListImpl.SPALearnerVariantListImpl<I> variants,
                                                                 EquivalenceOracle<SPA<?,I>,I,Boolean> eqOracle)

Creates a list of per-example test cases for all learner variants.

Returns:: the list of test cases, one for each example

createExampleITCases

public static <I> List<SBALearnerITCase<I>> createExampleITCases(LearningExample.SBALearningExample<I> example,
                                                                 LearnerVariantListImpl.SBALearnerVariantListImpl<I> variants,
                                                                 EquivalenceOracle<SBA<?,I>,I,Boolean> eqOracle)

Creates a list of per-example test cases for all learner variants.

Returns:: the list of test cases, one for each example

createExampleITCases

public static <I,O> List<SPMMLearnerITCase<I,O>> createExampleITCases(LearningExample.SPMMLearningExample<I,O> example,
                                                                                  LearnerVariantListImpl.SPMMLearnerVariantListImpl<I,O> variants,
                                                                                  EquivalenceOracle<SPMM<?,I,?,O>,I,Word<O>> eqOracle)

Creates a list of per-example test cases for all learner variants.

Returns:: the list of test cases, one for each example

createExampleITCases

public static <I> List<OneSEVPALearnerITCase<I>> createExampleITCases(LearningExample.OneSEVPALearningExample<I> example,
                                                                      LearnerVariantListImpl.OneSEVPALearnerVariantListImpl<I> variants,
                                                                      EquivalenceOracle<OneSEVPA<?,I>,I,Boolean> eqOracle)

Creates a list of per-example test cases for all learner variants.

Returns:: the list of test cases, one for each example

createPassiveExampleITCases

public static <I,D,A extends SuffixOutput<I,D>> List<PassiveLearnerVariantITCase<I,D,A>> createPassiveExampleITCases(PassiveLearningExample<I,D> example,
                                                                                                                                                   PassiveLearnerVariantListImpl<A,I,D> variants)

Creates a list of per-example test cases for all learner variants (passive version).

Returns:: the list of test cases, one for each example

generateSamples

public static <I,D,M extends UniversalAutomaton<?,I,?,?,?> & SuffixOutput<I,D>> Collection<DefaultQuery<I,D>> generateSamples(Alphabet<I> alphabet,
                                                                                                                                                                              M reference)