A C D F G M P R S T V
All Classes All Packages

A

AbstractBFOracleTest<D> - Class in de.learnlib.testsupport

Class to test any AbstractBFOracle.

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

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

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

AbstractGrowingAlphabetMealyTest<L extends net.automatalib.alphabet.SupportsGrowingAlphabet<Character> & LearningAlgorithm<net.automatalib.automaton.transducer.MealyMachine<?,Character,?,Character>,Character,net.automatalib.word.Word<Character>>> - Class in de.learnlib.testsupport

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

AbstractGrowingAlphabetMooreTest<L extends net.automatalib.alphabet.SupportsGrowingAlphabet<Character> & LearningAlgorithm<net.automatalib.automaton.transducer.MooreMachine<?,Character,?,Character>,Character,net.automatalib.word.Word<Character>>> - Class in de.learnlib.testsupport

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

AbstractGrowingAlphabetTest<L extends net.automatalib.alphabet.SupportsGrowingAlphabet<I> & LearningAlgorithm<M,I,D>,M extends net.automatalib.automaton.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automaton.concept.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

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

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

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

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

AbstractResumableLearnerMooreTest<L extends Resumable<T> & LearningAlgorithm<net.automatalib.automaton.transducer.MooreMachine<?,Character,?,Character>,Character,net.automatalib.word.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 net.automatalib.automaton.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automaton.concept.Output<I,D>,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

ALPHABET - Static variable in class de.learnlib.testsupport.AbstractBFOracleTest

C

createBreadthFirstOracle(double) - Method in class de.learnlib.testsupport.AbstractBFOracleTest

D

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

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

F

fromBytes(byte[]) - Static method in class de.learnlib.testsupport.ResumeUtils

G

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

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(OR, Alphabet<I>) - Method in class de.learnlib.testsupport.AbstractGrowingAlphabetTest

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

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

M

MQ2AQWrapper<I,O> - Class in de.learnlib.testsupport

Utility class that wraps a given MembershipOracle into an AdaptiveMembershipOracle by translating each step of an AdaptiveQuery into a separate DefaultQuery.

MQ2AQWrapper(MembershipOracle<I, Word<O>>) - Constructor for class de.learnlib.testsupport.MQ2AQWrapper

MULTIPLIER - Static variable in class de.learnlib.testsupport.AbstractBFOracleTest

P

processQueries(Collection<? extends AdaptiveQuery<I, O>>) - Method in class de.learnlib.testsupport.MQ2AQWrapper

processQuery(AdaptiveQuery<I, O>) - Method in class de.learnlib.testsupport.MQ2AQWrapper

R

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

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

ResumeUtils - Class in de.learnlib.testsupport

Utility functions for Resumable features.

runExperiment(BiFunction<Alphabet<ExampleCoffeeMachine.Input>, SUL<ExampleCoffeeMachine.Input, String>, L>) - Static method in class de.learnlib.testsupport.VisualizationUtils

S

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

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

setUp() - Method in class de.learnlib.testsupport.AbstractBFOracleTest

T

tearDown() - Method in class de.learnlib.testsupport.AbstractBFOracleTest

testAddWord() - Method in class de.learnlib.testsupport.AbstractBFOracleTest

testGetMultiplier() - Method in class de.learnlib.testsupport.AbstractBFOracleTest

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.

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

testNextInput() - Method in class de.learnlib.testsupport.AbstractBFOracleTest

Tests breadth-first order.

testPre() - Method in class de.learnlib.testsupport.AbstractBFOracleTest

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

toBytes(Object) - Static method in class de.learnlib.testsupport.ResumeUtils

V

VisualizationUtils - Class in de.learnlib.testsupport

Utility class for running a simple learning setup (cf.

A C D F G M P R S T V
All Classes All Packages