A C D G L M O P R S T U
All Classes All Packages

A

AbstractDFALearnerIT - Class in de.learnlib.testsupport.it.learner

Abstract integration test for DFA learning algorithms.

AbstractDFALearnerIT() - Constructor for class de.learnlib.testsupport.it.learner.AbstractDFALearnerIT

AbstractDFAPassiveLearnerIT - Class in de.learnlib.testsupport.it.learner

Abstract integration test for passive DFA learning algorithms.

AbstractDFAPassiveLearnerIT() - Constructor for class de.learnlib.testsupport.it.learner.AbstractDFAPassiveLearnerIT

AbstractGrowingAlphabetDFATest<L extends SupportsGrowingAlphabet<Character> & LearningAlgorithm<DFA<?,Character>,Character,Boolean>> - Class in de.learnlib.testsupport

AbstractGrowingAlphabetDFATest() - Constructor for class de.learnlib.testsupport.AbstractGrowingAlphabetDFATest

AbstractGrowingAlphabetMealyTest<L extends SupportsGrowingAlphabet<Character> & LearningAlgorithm<MealyMachine<?,Character,?,Character>,Character,Word<Character>>> - Class in de.learnlib.testsupport

AbstractGrowingAlphabetMealyTest() - Constructor for class de.learnlib.testsupport.AbstractGrowingAlphabetMealyTest

AbstractGrowingAlphabetMooreTest<L extends SupportsGrowingAlphabet<Character> & LearningAlgorithm<MooreMachine<?,Character,?,Character>,Character,Word<Character>>> - Class in de.learnlib.testsupport

AbstractGrowingAlphabetMooreTest() - Constructor for class de.learnlib.testsupport.AbstractGrowingAlphabetMooreTest

AbstractGrowingAlphabetTest<L extends SupportsGrowingAlphabet<I> & LearningAlgorithm<M,I,D>,M extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,D>,OR,I,D> - Class in de.learnlib.testsupport

Simple (abstract super) test class that checks the basic workflow of a learning algorithm that implements SupportsGrowingAlphabet.

AbstractGrowingAlphabetTest() - Constructor for class de.learnlib.testsupport.AbstractGrowingAlphabetTest

AbstractMealyLearnerIT - Class in de.learnlib.testsupport.it.learner

Abstract integration test for Mealy machine learning algorithms.

AbstractMealyLearnerIT() - Constructor for class de.learnlib.testsupport.it.learner.AbstractMealyLearnerIT

AbstractMealyPassiveLearnerIT - Class in de.learnlib.testsupport.it.learner

Abstract integration test for passive Mealy machine learning algorithms.

AbstractMealyPassiveLearnerIT() - Constructor for class de.learnlib.testsupport.it.learner.AbstractMealyPassiveLearnerIT

AbstractMealySymLearnerIT - Class in de.learnlib.testsupport.it.learner

Abstract integration test for Mealy machine learning algorithms.

AbstractMealySymLearnerIT() - Constructor for class de.learnlib.testsupport.it.learner.AbstractMealySymLearnerIT

AbstractMooreLearnerIT - Class in de.learnlib.testsupport.it.learner

Abstract integration test for Moore machine learning algorithms.

AbstractMooreLearnerIT() - Constructor for class de.learnlib.testsupport.it.learner.AbstractMooreLearnerIT

AbstractMoorePassiveLearnerIT - Class in de.learnlib.testsupport.it.learner

Abstract integration test for passive Moore machine learning algorithms.

AbstractMoorePassiveLearnerIT() - Constructor for class de.learnlib.testsupport.it.learner.AbstractMoorePassiveLearnerIT

AbstractMooreSymLearnerIT - Class in de.learnlib.testsupport.it.learner

Abstract integration test for Moore machine learning algorithms.

AbstractMooreSymLearnerIT() - Constructor for class de.learnlib.testsupport.it.learner.AbstractMooreSymLearnerIT

AbstractOneSEVPALearnerIT - Class in de.learnlib.testsupport.it.learner

Abstract integration test for OneSEVPA learning algorithms.

AbstractOneSEVPALearnerIT() - Constructor for class de.learnlib.testsupport.it.learner.AbstractOneSEVPALearnerIT

AbstractResumableLearnerDFATest<L extends Resumable<T> & LearningAlgorithm<DFA<?,Character>,Character,Boolean>,T> - Class in de.learnlib.testsupport

AbstractResumableLearnerDFATest() - Constructor for class de.learnlib.testsupport.AbstractResumableLearnerDFATest

AbstractResumableLearnerMealyTest<L extends Resumable<T> & LearningAlgorithm<MealyMachine<?,Character,?,Character>,Character,Word<Character>>,T> - Class in de.learnlib.testsupport

AbstractResumableLearnerMealyTest() - Constructor for class de.learnlib.testsupport.AbstractResumableLearnerMealyTest

AbstractResumableLearnerMooreTest<L extends Resumable<T> & LearningAlgorithm<MooreMachine<?,Character,?,Character>,Character,Word<Character>>,T> - Class in de.learnlib.testsupport

AbstractResumableLearnerMooreTest() - Constructor for class de.learnlib.testsupport.AbstractResumableLearnerMooreTest

AbstractResumableLearnerTest<L extends Resumable<T> & LearningAlgorithm<M,I,D>,M extends UniversalDeterministicAutomaton<?,I,?,?,?>,OR,I,D,T> - Class in de.learnlib.testsupport

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

AbstractResumableLearnerTest() - Constructor for class de.learnlib.testsupport.AbstractResumableLearnerTest

AbstractSBALearnerIT - Class in de.learnlib.testsupport.it.learner

Abstract integration test for SBA learning algorithms.

AbstractSBALearnerIT() - Constructor for class de.learnlib.testsupport.it.learner.AbstractSBALearnerIT

AbstractSPALearnerIT - Class in de.learnlib.testsupport.it.learner

Abstract integration test for SPA learning algorithms.

AbstractSPALearnerIT() - Constructor for class de.learnlib.testsupport.it.learner.AbstractSPALearnerIT

AbstractSPMMLearnerIT - Class in de.learnlib.testsupport.it.learner

Abstract integration test for SPMM learning algorithms.

AbstractSPMMLearnerIT() - Constructor for class de.learnlib.testsupport.it.learner.AbstractSPMMLearnerIT

AbstractSSTPassiveLearnerIT - Class in de.learnlib.testsupport.it.learner

Abstract integration test for passive SubsequentialTransducers learning algorithms.

AbstractSSTPassiveLearnerIT() - Constructor for class de.learnlib.testsupport.it.learner.AbstractSSTPassiveLearnerIT

AbstractVisualizationTest<L extends LearningAlgorithm<? extends MealyMachine<?,ExampleCoffeeMachine.Input,?,String>,ExampleCoffeeMachine.Input,Word<String>>> - Class in de.learnlib.testsupport

Abstract class for tests that check the visualization of hypotheses or other internal data structure.

AbstractVisualizationTest() - Constructor for class de.learnlib.testsupport.AbstractVisualizationTest

addLearnerVariant(String, LearningAlgorithm<? extends M, I, D>) - Method in interface de.learnlib.testsupport.it.learner.LearnerVariantList

Adds a learner variant with the default maximum number of rounds (i.e., the size of the target automaton) to the list.

addLearnerVariant(String, LearningAlgorithm<? extends M, I, D>) - Method in class de.learnlib.testsupport.it.learner.LearnerVariantListImpl

addLearnerVariant(String, LearningAlgorithm<? extends M, I, D>, int) - Method in interface de.learnlib.testsupport.it.learner.LearnerVariantList

Adds a learner variant with a given maximum number of rounds to the list.

addLearnerVariant(String, LearningAlgorithm<? extends M, I, D>, int) - Method in class de.learnlib.testsupport.it.learner.LearnerVariantListImpl

addLearnerVariant(String, LearningAlgorithm<? extends MealyMachine<?, I, ?, O>, I, O>) - Method in class de.learnlib.testsupport.it.learner.LearnerVariantListImpl.MealySymLearnerVariantListImpl

addLearnerVariant(String, LearningAlgorithm<? extends MealyMachine<?, I, ?, O>, I, O>, int) - Method in class de.learnlib.testsupport.it.learner.LearnerVariantListImpl.MealySymLearnerVariantListImpl

addLearnerVariant(String, LearningAlgorithm<? extends MooreMachine<?, I, ?, O>, I, O>) - Method in class de.learnlib.testsupport.it.learner.LearnerVariantListImpl.MooreSymLearnerVariantListImpl

addLearnerVariant(String, LearningAlgorithm<? extends MooreMachine<?, I, ?, O>, I, O>, int) - Method in class de.learnlib.testsupport.it.learner.LearnerVariantListImpl.MooreSymLearnerVariantListImpl

addLearnerVariant(String, PassiveLearningAlgorithm<? extends M, I, D>) - Method in interface de.learnlib.testsupport.it.learner.PassiveLearnerVariantList

Adds a learner variant with the default maximum number of rounds (i.e., the size of the target automaton) to the list.

addLearnerVariant(String, PassiveLearningAlgorithm<? extends M, I, D>) - Method in class de.learnlib.testsupport.it.learner.PassiveLearnerVariantListImpl

addLearnerVariants(Alphabet<I>, int, MembershipOracle.DFAMembershipOracle<I>, LearnerVariantList.DFALearnerVariantList<I>) - Method in class de.learnlib.testsupport.it.learner.AbstractDFALearnerIT

Adds, for a given setup, all the variants of the DFA learner to be tested to the specified variant list.

addLearnerVariants(Alphabet<I>, int, MembershipOracle.MealyMembershipOracle<I, O>, LearnerVariantList.MealyLearnerVariantList<I, O>) - Method in class de.learnlib.testsupport.it.learner.AbstractMealyLearnerIT

Adds, for a given setup, all the variants of the Mealy machine learner to be tested to the specified variant list.

addLearnerVariants(Alphabet<I>, int, MembershipOracle.MooreMembershipOracle<I, O>, LearnerVariantList.MooreLearnerVariantList<I, O>) - Method in class de.learnlib.testsupport.it.learner.AbstractMooreLearnerIT

Adds, for a given setup, all the variants of the Moore machine learner to be tested to the specified variant list.

addLearnerVariants(Alphabet<I>, MembershipOracle<I, O>, LearnerVariantList.MealySymLearnerVariantList<I, O>) - Method in class de.learnlib.testsupport.it.learner.AbstractMealySymLearnerIT

Adds, for a given setup, all the variants of the Mealy machine learner to be tested to the specified variant list.

addLearnerVariants(Alphabet<I>, MembershipOracle<I, O>, LearnerVariantList.MooreSymLearnerVariantList<I, O>) - Method in class de.learnlib.testsupport.it.learner.AbstractMooreSymLearnerIT

Adds, for a given setup, all the variants of the Mealy machine learner to be tested to the specified variant list.

addLearnerVariants(Alphabet<I>, PassiveLearnerVariantList<DFA<?, I>, I, Boolean>) - Method in class de.learnlib.testsupport.it.learner.AbstractDFAPassiveLearnerIT

Adds, for a given setup, all the variants of the DFA learner to be tested to the specified variant list.

addLearnerVariants(Alphabet<I>, PassiveLearnerVariantList<MealyMachine<?, I, ?, O>, I, Word<O>>) - Method in class de.learnlib.testsupport.it.learner.AbstractMealyPassiveLearnerIT

Adds, for a given setup, all the variants of the DFA learner to be tested to the specified variant list.

addLearnerVariants(Alphabet<I>, PassiveLearnerVariantList<MooreMachine<?, I, ?, O>, I, Word<O>>) - Method in class de.learnlib.testsupport.it.learner.AbstractMoorePassiveLearnerIT

Adds, for a given setup, all the variants of the Moore learner to be tested to the specified variant list.

addLearnerVariants(Alphabet<I>, PassiveLearnerVariantList<SubsequentialTransducer<?, I, ?, O>, I, Word<O>>) - Method in class de.learnlib.testsupport.it.learner.AbstractSSTPassiveLearnerIT

Adds, for a given setup, all the variants of the DFA learner to be tested to the specified variant list.

addLearnerVariants(ProceduralInputAlphabet<I>, MembershipOracle.DFAMembershipOracle<I>, LearnerVariantList.SBALearnerVariantList<I>) - Method in class de.learnlib.testsupport.it.learner.AbstractSBALearnerIT

Adds, for a given setup, all the variants of the DFA learner to be tested to the specified variant list.

addLearnerVariants(ProceduralInputAlphabet<I>, MembershipOracle.DFAMembershipOracle<I>, LearnerVariantList.SPALearnerVariantList<I>) - Method in class de.learnlib.testsupport.it.learner.AbstractSPALearnerIT

Adds, for a given setup, all the variants of the DFA learner to be tested to the specified variant list.

addLearnerVariants(ProceduralInputAlphabet<I>, O, MembershipOracle.MealyMembershipOracle<I, O>, LearnerVariantList.SPMMLearnerVariantList<I, O>) - Method in class de.learnlib.testsupport.it.learner.AbstractSPMMLearnerIT

Adds, for a given setup, all the variants of the DFA learner to be tested to the specified variant list.

addLearnerVariants(VPAlphabet<I>, MembershipOracle.DFAMembershipOracle<I>, LearnerVariantList.OneSEVPALearnerVariantList<I>) - Method in class de.learnlib.testsupport.it.learner.AbstractOneSEVPALearnerIT

Adds, for a given setup, all the variants of the OneSEVPA learner to be tested to the specified variant list.

C

checkEquivalence(M) - Method in class de.learnlib.testsupport.it.learner.UniversalDeterministicLearnerITCase

checkEquivalence(SBA<?, I>) - Method in class de.learnlib.testsupport.it.learner.SBALearnerITCase

checkEquivalence(SPA<?, I>) - Method in class de.learnlib.testsupport.it.learner.SPALearnerITCase

checkEquivalence(SPMM<?, I, ?, O>) - Method in class de.learnlib.testsupport.it.learner.SPMMLearnerITCase

checkEquivalence(OneSEVPA<?, I>) - Method in class de.learnlib.testsupport.it.learner.OneSEVPALearnerITCase

createExampleITCases() - Method in class de.learnlib.testsupport.it.learner.AbstractDFALearnerIT

createExampleITCases() - Method in class de.learnlib.testsupport.it.learner.AbstractDFAPassiveLearnerIT

createExampleITCases() - Method in class de.learnlib.testsupport.it.learner.AbstractMealyLearnerIT

createExampleITCases() - Method in class de.learnlib.testsupport.it.learner.AbstractMealyPassiveLearnerIT

createExampleITCases() - Method in class de.learnlib.testsupport.it.learner.AbstractMealySymLearnerIT

createExampleITCases() - Method in class de.learnlib.testsupport.it.learner.AbstractMooreLearnerIT

createExampleITCases() - Method in class de.learnlib.testsupport.it.learner.AbstractMoorePassiveLearnerIT

createExampleITCases() - Method in class de.learnlib.testsupport.it.learner.AbstractMooreSymLearnerIT

createExampleITCases() - Method in class de.learnlib.testsupport.it.learner.AbstractOneSEVPALearnerIT

createExampleITCases() - Method in class de.learnlib.testsupport.it.learner.AbstractSBALearnerIT

createExampleITCases() - Method in class de.learnlib.testsupport.it.learner.AbstractSPALearnerIT

createExampleITCases() - Method in class de.learnlib.testsupport.it.learner.AbstractSPMMLearnerIT

createExampleITCases() - Method in class de.learnlib.testsupport.it.learner.AbstractSSTPassiveLearnerIT

createExampleITCases(LearningExample.OneSEVPALearningExample<I>, LearnerVariantListImpl.OneSEVPALearnerVariantListImpl<I>, EquivalenceOracle<OneSEVPA<?, I>, I, Boolean>) - Static method in class de.learnlib.testsupport.it.learner.LearnerITUtil

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

createExampleITCases(LearningExample.SBALearningExample<I>, LearnerVariantListImpl.SBALearnerVariantListImpl<I>, EquivalenceOracle<SBA<?, I>, I, Boolean>) - Static method in class de.learnlib.testsupport.it.learner.LearnerITUtil

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

createExampleITCases(LearningExample.SPALearningExample<I>, LearnerVariantListImpl.SPALearnerVariantListImpl<I>, EquivalenceOracle<SPA<?, I>, I, Boolean>) - Static method in class de.learnlib.testsupport.it.learner.LearnerITUtil

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

createExampleITCases(LearningExample.SPMMLearningExample<I, O>, LearnerVariantListImpl.SPMMLearnerVariantListImpl<I, O>, EquivalenceOracle<SPMM<?, I, ?, O>, I, Word<O>>) - Static method in class de.learnlib.testsupport.it.learner.LearnerITUtil

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

createExampleITCases(LearningExample.UniversalDeterministicLearningExample<I, ? extends A>, LearnerVariantListImpl<A, I, D>, EquivalenceOracle<? super A, I, D>) - Static method in class de.learnlib.testsupport.it.learner.LearnerITUtil

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

createPassiveExampleITCases(PassiveLearningExample<I, D>, PassiveLearnerVariantListImpl<A, I, D>) - Static method in class de.learnlib.testsupport.it.learner.LearnerITUtil

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

D

de.learnlib.testsupport - package de.learnlib.testsupport

This package (including sub-packages) contains utility code for formalizing test-cases.

de.learnlib.testsupport.it.learner - package de.learnlib.testsupport.it.learner

DEFAULT_AUTOMATON_SIZE - Static variable in class de.learnlib.testsupport.AbstractGrowingAlphabetTest

DFALearnerVariantListImpl() - Constructor for class de.learnlib.testsupport.it.learner.LearnerVariantListImpl.DFALearnerVariantListImpl

DFAPassiveLearnerVariantListImpl() - Constructor for class de.learnlib.testsupport.it.learner.PassiveLearnerVariantListImpl.DFAPassiveLearnerVariantListImpl

G

generateSamples(Alphabet<I>, M) - Static method in class de.learnlib.testsupport.it.learner.LearnerITUtil

generateSamplesInternal(Alphabet<I>, DFA<?, I>) - Method in class de.learnlib.testsupport.it.learner.AbstractDFAPassiveLearnerIT

Utility method, that may be overriden by subclasses.

getAlphabetExtensions() - Method in class de.learnlib.testsupport.AbstractGrowingAlphabetDFATest

getAlphabetExtensions() - Method in class de.learnlib.testsupport.AbstractGrowingAlphabetMealyTest

getAlphabetExtensions() - Method in class de.learnlib.testsupport.AbstractGrowingAlphabetMooreTest

getAlphabetExtensions() - Method in class de.learnlib.testsupport.AbstractGrowingAlphabetTest

getCachedOracle(Alphabet<I>, OR, List<Consumer<I>>) - Method in class de.learnlib.testsupport.AbstractGrowingAlphabetTest

getCachedOracle(Alphabet<Character>, MembershipOracle.DFAMembershipOracle<Character>, List<Consumer<Character>>) - Method in class de.learnlib.testsupport.AbstractGrowingAlphabetDFATest

getCachedOracle(Alphabet<Character>, MembershipOracle.MealyMembershipOracle<Character, Character>, List<Consumer<Character>>) - Method in class de.learnlib.testsupport.AbstractGrowingAlphabetMealyTest

getCachedOracle(Alphabet<Character>, MembershipOracle.MooreMembershipOracle<Character, Character>, List<Consumer<Character>>) - Method in class de.learnlib.testsupport.AbstractGrowingAlphabetMooreTest

getEquivalenceOracle(M) - Method in class de.learnlib.testsupport.AbstractResumableLearnerTest

getEquivalenceOracle(DFA<?, Character>) - Method in class de.learnlib.testsupport.AbstractResumableLearnerDFATest

getEquivalenceOracle(MealyMachine<?, Character, ?, Character>) - Method in class de.learnlib.testsupport.AbstractResumableLearnerMealyTest

getEquivalenceOracle(MooreMachine<?, Character, ?, Character>) - Method in class de.learnlib.testsupport.AbstractResumableLearnerMooreTest

getInitialAlphabet() - Method in class de.learnlib.testsupport.AbstractGrowingAlphabetDFATest

getInitialAlphabet() - Method in class de.learnlib.testsupport.AbstractGrowingAlphabetMealyTest

getInitialAlphabet() - Method in class de.learnlib.testsupport.AbstractGrowingAlphabetMooreTest

getInitialAlphabet() - Method in class de.learnlib.testsupport.AbstractGrowingAlphabetTest

getInitialAlphabet() - Method in class de.learnlib.testsupport.AbstractResumableLearnerDFATest

getInitialAlphabet() - Method in class de.learnlib.testsupport.AbstractResumableLearnerMealyTest

getInitialAlphabet() - Method in class de.learnlib.testsupport.AbstractResumableLearnerMooreTest

getInitialAlphabet() - Method in class de.learnlib.testsupport.AbstractResumableLearnerTest

getLearner() - Method in class de.learnlib.testsupport.it.learner.LearnerVariant

getLearner() - Method in class de.learnlib.testsupport.it.learner.PassiveLearnerVariant

getLearner(OR, Alphabet<I>) - Method in class de.learnlib.testsupport.AbstractGrowingAlphabetTest

getLearner(OR, Alphabet<I>) - Method in class de.learnlib.testsupport.AbstractResumableLearnerTest

getLearnerBuilder(Alphabet<ExampleCoffeeMachine.Input>, SUL<ExampleCoffeeMachine.Input, String>) - Method in class de.learnlib.testsupport.AbstractVisualizationTest

getLearnerName() - Method in class de.learnlib.testsupport.it.learner.LearnerVariant

getLearnerName() - Method in class de.learnlib.testsupport.it.learner.PassiveLearnerVariant

getLearnerVariants() - Method in class de.learnlib.testsupport.it.learner.LearnerVariantListImpl

getLearnerVariants() - Method in class de.learnlib.testsupport.it.learner.PassiveLearnerVariantListImpl

getMaxRounds() - Method in class de.learnlib.testsupport.it.learner.LearnerVariant

getMealyLearnerVariants() - Method in class de.learnlib.testsupport.it.learner.LearnerVariantListImpl.MealySymLearnerVariantListImpl

getMooreLearnerVariants() - Method in class de.learnlib.testsupport.it.learner.LearnerVariantListImpl.MooreSymLearnerVariantListImpl

getName() - Method in class de.learnlib.testsupport.it.learner.LearnerVariant

getName() - Method in class de.learnlib.testsupport.it.learner.PassiveLearnerVariant

getOracle(M) - Method in class de.learnlib.testsupport.AbstractGrowingAlphabetTest

getOracle(M) - Method in class de.learnlib.testsupport.AbstractResumableLearnerTest

getOracle(DFA<?, Character>) - Method in class de.learnlib.testsupport.AbstractGrowingAlphabetDFATest

getOracle(DFA<?, Character>) - Method in class de.learnlib.testsupport.AbstractResumableLearnerDFATest

getOracle(MealyMachine<?, Character, ?, Character>) - Method in class de.learnlib.testsupport.AbstractGrowingAlphabetMealyTest

getOracle(MealyMachine<?, Character, ?, Character>) - Method in class de.learnlib.testsupport.AbstractResumableLearnerMealyTest

getOracle(MooreMachine<?, Character, ?, Character>) - Method in class de.learnlib.testsupport.AbstractGrowingAlphabetMooreTest

getOracle(MooreMachine<?, Character, ?, Character>) - Method in class de.learnlib.testsupport.AbstractResumableLearnerMooreTest

getRounds() - Method in class de.learnlib.testsupport.AbstractResumableLearnerTest

getTarget(Alphabet<I>) - Method in class de.learnlib.testsupport.AbstractGrowingAlphabetTest

getTarget(Alphabet<I>) - Method in class de.learnlib.testsupport.AbstractResumableLearnerTest

getTarget(Alphabet<Character>) - Method in class de.learnlib.testsupport.AbstractGrowingAlphabetDFATest

getTarget(Alphabet<Character>) - Method in class de.learnlib.testsupport.AbstractGrowingAlphabetMealyTest

getTarget(Alphabet<Character>) - Method in class de.learnlib.testsupport.AbstractGrowingAlphabetMooreTest

getTarget(Alphabet<Character>) - Method in class de.learnlib.testsupport.AbstractResumableLearnerDFATest

getTarget(Alphabet<Character>) - Method in class de.learnlib.testsupport.AbstractResumableLearnerMealyTest

getTarget(Alphabet<Character>) - Method in class de.learnlib.testsupport.AbstractResumableLearnerMooreTest

getTestName() - Method in class de.learnlib.testsupport.it.learner.PassiveLearnerVariantITCase

L

learner - Variable in class de.learnlib.testsupport.AbstractVisualizationTest

LearnerITUtil - Class in de.learnlib.testsupport.it.learner

Utility class for integration tests for a learning algorithm (or "learner").

LearnerVariant<M,I,D> - Class in de.learnlib.testsupport.it.learner

LearnerVariantList<M,I,D> - Interface in de.learnlib.testsupport.it.learner

A write-only list to store multiple variants of a learning algorithm.

LearnerVariantList.DFALearnerVariantList<I> - Interface in de.learnlib.testsupport.it.learner

LearnerVariantList.MealyLearnerVariantList<I,O> - Interface in de.learnlib.testsupport.it.learner

LearnerVariantList.MealySymLearnerVariantList<I,O> - Interface in de.learnlib.testsupport.it.learner

LearnerVariantList.MooreLearnerVariantList<I,O> - Interface in de.learnlib.testsupport.it.learner

LearnerVariantList.MooreSymLearnerVariantList<I,O> - Interface in de.learnlib.testsupport.it.learner

LearnerVariantList.OneSEVPALearnerVariantList<I> - Interface in de.learnlib.testsupport.it.learner

LearnerVariantList.SBALearnerVariantList<I> - Interface in de.learnlib.testsupport.it.learner

LearnerVariantList.SPALearnerVariantList<I> - Interface in de.learnlib.testsupport.it.learner

LearnerVariantList.SPMMLearnerVariantList<I,O> - Interface in de.learnlib.testsupport.it.learner

LearnerVariantListImpl<M,I,D> - Class in de.learnlib.testsupport.it.learner

LearnerVariantListImpl() - Constructor for class de.learnlib.testsupport.it.learner.LearnerVariantListImpl

LearnerVariantListImpl.DFALearnerVariantListImpl<I> - Class in de.learnlib.testsupport.it.learner

LearnerVariantListImpl.MealyLearnerVariantListImpl<I,O> - Class in de.learnlib.testsupport.it.learner

LearnerVariantListImpl.MealySymLearnerVariantListImpl<I,O> - Class in de.learnlib.testsupport.it.learner

LearnerVariantListImpl.MooreLearnerVariantListImpl<I,O> - Class in de.learnlib.testsupport.it.learner

LearnerVariantListImpl.MooreSymLearnerVariantListImpl<I,O> - Class in de.learnlib.testsupport.it.learner

LearnerVariantListImpl.OneSEVPALearnerVariantListImpl<I> - Class in de.learnlib.testsupport.it.learner

LearnerVariantListImpl.SBALearnerVariantListImpl<I> - Class in de.learnlib.testsupport.it.learner

LearnerVariantListImpl.SPALearnerVariantListImpl<I> - Class in de.learnlib.testsupport.it.learner

LearnerVariantListImpl.SPMMLearnerVariantListImpl<I,O> - Class in de.learnlib.testsupport.it.learner

M

MealyLearnerVariantListImpl() - Constructor for class de.learnlib.testsupport.it.learner.LearnerVariantListImpl.MealyLearnerVariantListImpl

MealyLearnerVariantListImpl() - Constructor for class de.learnlib.testsupport.it.learner.PassiveLearnerVariantListImpl.MealyLearnerVariantListImpl

MealySymLearnerVariantListImpl() - Constructor for class de.learnlib.testsupport.it.learner.LearnerVariantListImpl.MealySymLearnerVariantListImpl

MooreLearnerVariantListImpl() - Constructor for class de.learnlib.testsupport.it.learner.LearnerVariantListImpl.MooreLearnerVariantListImpl

MooreLearnerVariantListImpl() - Constructor for class de.learnlib.testsupport.it.learner.PassiveLearnerVariantListImpl.MooreLearnerVariantListImpl

MooreSymLearnerVariantListImpl() - Constructor for class de.learnlib.testsupport.it.learner.LearnerVariantListImpl.MooreSymLearnerVariantListImpl

O

OneSEVPALearnerITCase<I> - Class in de.learnlib.testsupport.it.learner

OneSEVPALearnerVariantListImpl() - Constructor for class de.learnlib.testsupport.it.learner.LearnerVariantListImpl.OneSEVPALearnerVariantListImpl

P

PassiveLearnerVariant<M,I,D> - Class in de.learnlib.testsupport.it.learner

PassiveLearnerVariantITCase<I,D,M extends SuffixOutput<I,D>> - Class in de.learnlib.testsupport.it.learner

Default test case for a passive learning integration test.

PassiveLearnerVariantList<M,I,D> - Interface in de.learnlib.testsupport.it.learner

PassiveLearnerVariantList.DFALearnerVariantList<I> - Interface in de.learnlib.testsupport.it.learner

PassiveLearnerVariantList.MealyLearnerVariantList<I,O> - Interface in de.learnlib.testsupport.it.learner

PassiveLearnerVariantList.MooreLearnerVariantList<I,O> - Interface in de.learnlib.testsupport.it.learner

PassiveLearnerVariantList.SSTLearnerVariantList<I,O> - Interface in de.learnlib.testsupport.it.learner

PassiveLearnerVariantListImpl<M,I,D> - Class in de.learnlib.testsupport.it.learner

PassiveLearnerVariantListImpl() - Constructor for class de.learnlib.testsupport.it.learner.PassiveLearnerVariantListImpl

PassiveLearnerVariantListImpl.DFAPassiveLearnerVariantListImpl<I> - Class in de.learnlib.testsupport.it.learner

PassiveLearnerVariantListImpl.MealyLearnerVariantListImpl<I,O> - Class in de.learnlib.testsupport.it.learner

PassiveLearnerVariantListImpl.MooreLearnerVariantListImpl<I,O> - Class in de.learnlib.testsupport.it.learner

PassiveLearnerVariantListImpl.SSTLearnerVariantListImpl<I,O> - Class in de.learnlib.testsupport.it.learner

R

RANDOM_SEED - Static variable in class de.learnlib.testsupport.AbstractGrowingAlphabetTest

RANDOM_SEED - Static variable in class de.learnlib.testsupport.AbstractResumableLearnerTest

resourceAsString(String) - Method in class de.learnlib.testsupport.AbstractVisualizationTest

S

SBALearnerITCase<I> - Class in de.learnlib.testsupport.it.learner

SBALearnerVariantListImpl() - Constructor for class de.learnlib.testsupport.it.learner.LearnerVariantListImpl.SBALearnerVariantListImpl

setup() - Method in class de.learnlib.testsupport.AbstractGrowingAlphabetTest

setup() - Method in class de.learnlib.testsupport.AbstractResumableLearnerTest

SPALearnerITCase<I> - Class in de.learnlib.testsupport.it.learner

SPALearnerVariantListImpl() - Constructor for class de.learnlib.testsupport.it.learner.LearnerVariantListImpl.SPALearnerVariantListImpl

SPMMLearnerITCase<I,O> - Class in de.learnlib.testsupport.it.learner

SPMMLearnerVariantListImpl() - Constructor for class de.learnlib.testsupport.it.learner.LearnerVariantListImpl.SPMMLearnerVariantListImpl

SSTLearnerVariantListImpl() - Constructor for class de.learnlib.testsupport.it.learner.PassiveLearnerVariantListImpl.SSTLearnerVariantListImpl

T

testGrowingAlphabet() - Method in class de.learnlib.testsupport.AbstractGrowingAlphabetTest

In case of passing a growing alphabet, the learners may use the existing GrowingAlphabet.addSymbol(Object) functionality.

testGrowingAlphabetWithCache() - Method in class de.learnlib.testsupport.AbstractGrowingAlphabetTest

testInitialAlphabet() - Method in class de.learnlib.testsupport.AbstractGrowingAlphabetTest

testLearning() - Method in class de.learnlib.testsupport.it.learner.PassiveLearnerVariantITCase

testSuspendAndResumeLearner() - Method in class de.learnlib.testsupport.AbstractResumableLearnerTest

U

UniversalDeterministicLearnerITCase<I,D,M extends UniversalDeterministicAutomaton<?,I,?,?,?>> - Class in de.learnlib.testsupport.it.learner

A C D G L M O P R S T U
All Classes All Packages