A B C D E F G H I K L M N O P Q R S T U V W 
All Classes All Packages

A

AbstractAAARLearner<L extends LearningAlgorithm<CM,​CI,​D> & SupportsGrowingAlphabet<CI>,​AM,​CM,​AI,​CI,​D> - Class in de.learnlib.algorithm.aaar
Base implementation of the learner presented in "Automata Learning with Automated Alphabet Abstraction Refinement" by Howar et al.
AbstractAAARLearner(LearnerConstructor<L, CI, D>, MembershipOracle<CI, D>) - Constructor for class de.learnlib.algorithm.aaar.AbstractAAARLearner
 
AbstractAbstractionTree<AI,​CI,​D> - Class in de.learnlib.algorithm.aaar.abstraction
 
AbstractAbstractionTree(AI, CI, MembershipOracle<CI, D>) - Constructor for class de.learnlib.algorithm.aaar.abstraction.AbstractAbstractionTree
 
AbstractAutomatonLStar<A,​I,​D,​S,​T,​SP,​TP,​AI extends MutableDeterministic<S,​I,​T,​SP,​TP> & SupportsGrowingAlphabet<I>> - Class in de.learnlib.algorithm.lstar
Abstract base class for algorithms that produce (subclasses of) MutableDeterministic automata.
AbstractAutomatonLStar(Alphabet<I>, MembershipOracle<I, D>, AI) - Constructor for class de.learnlib.algorithm.lstar.AbstractAutomatonLStar
Constructor.
AbstractBaseCounterexample<E> - Class in de.learnlib.acex
 
AbstractBaseCounterexample(int) - Constructor for class de.learnlib.acex.AbstractBaseCounterexample
Constructor.
AbstractBaseDTNode<I,​D> - Class in de.learnlib.algorithm.ttt.base
 
AbstractBaseDTNode() - Constructor for class de.learnlib.algorithm.ttt.base.AbstractBaseDTNode
 
AbstractBaseDTNode(AbstractBaseDTNode<I, D>, D) - Constructor for class de.learnlib.algorithm.ttt.base.AbstractBaseDTNode
 
AbstractBasePTAState<S extends AbstractBasePTAState<S,​SP,​TP>,​SP,​TP> - Class in de.learnlib.datastructure.pta
 
AbstractBasePTAState() - Constructor for class de.learnlib.datastructure.pta.AbstractBasePTAState
 
AbstractBFInclusionOracle<A extends DetOutputAutomaton<?,​I,​?,​D>,​I,​D> - Class in de.learnlib.oracle.equivalence
An InclusionOracle that generates words in a breadth-first manner.
AbstractBFInclusionOracle(MembershipOracle<I, D>, double) - Constructor for class de.learnlib.oracle.equivalence.AbstractBFInclusionOracle
 
AbstractBFOracle<A extends DeterministicAutomaton<?,​I,​?>,​I,​D> - Class in de.learnlib.util
An AutomatonOracle that processes words in a breadth-first manner.
AbstractBFOracle(MembershipOracle<I, D>, double) - Constructor for class de.learnlib.util.AbstractBFOracle
 
AbstractBFOracleTest<D> - Class in de.learnlib.testsupport
Class to test any AbstractBFOracle.
AbstractBFOracleTest() - Constructor for class de.learnlib.testsupport.AbstractBFOracleTest
 
AbstractBlueFringePTA<S extends AbstractBlueFringePTAState<S,​SP,​TP>,​SP,​TP> - Class in de.learnlib.datastructure.pta
 
AbstractBlueFringePTA(int, S) - Constructor for class de.learnlib.datastructure.pta.AbstractBlueFringePTA
 
AbstractBlueFringePTAState<S extends AbstractBlueFringePTAState<S,​SP,​TP>,​SP,​TP> - Class in de.learnlib.datastructure.pta
 
AbstractBlueFringePTAState() - Constructor for class de.learnlib.datastructure.pta.AbstractBlueFringePTAState
 
AbstractBlueFringeRPNI<I,​D,​SP,​TP,​M> - Class in de.learnlib.algorithm.rpni
Abstract base class for Blue-Fringe-RPNI algorithms.
AbstractBlueFringeRPNI(Alphabet<I>) - Constructor for class de.learnlib.algorithm.rpni.AbstractBlueFringeRPNI
Constructor.
AbstractCalculator - Class in de.learnlib.algorithm.adt.config.model.calculator
 
AbstractCalculator() - Constructor for class de.learnlib.algorithm.adt.config.model.calculator.AbstractCalculator
 
AbstractContextExecutableInputSUL<I extends ContextExecutableInput<? extends O,​? super C>,​O,​C> - Class in de.learnlib.driver
Abstract base class for a SUL that step-wisely executes ContextExecutableInput symbols.
AbstractContextExecutableInputSUL() - Constructor for class de.learnlib.driver.AbstractContextExecutableInputSUL
 
AbstractCounterexample<E> - Interface in de.learnlib.acex
 
AbstractDecisionTree<I,​D> - Class in de.learnlib.algorithm.oml.ttt.dt
 
AbstractDecisionTree(Alphabet<I>, MembershipOracle<I, D>, STNode<I>) - Constructor for class de.learnlib.algorithm.oml.ttt.dt.AbstractDecisionTree
 
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
 
AbstractDiscriminationTree<DSCR,​I,​O,​D,​N extends AbstractDTNode<DSCR,​O,​D,​N>> - Class in de.learnlib.datastructure.discriminationtree.model
An abstract super class for aggregating some information/functionality for discrimination trees.
AbstractDiscriminationTree(N, MembershipOracle<I, O>) - Constructor for class de.learnlib.datastructure.discriminationtree.model.AbstractDiscriminationTree
 
AbstractDTNode<I,​D> - Class in de.learnlib.algorithm.oml.ttt.dt
 
AbstractDTNode<DSCR,​O,​D,​N extends AbstractDTNode<DSCR,​O,​D,​N>> - Class in de.learnlib.datastructure.discriminationtree.model
An abstract super class (DAO) for aggregating some information stored in a node of a discrimination tree.
AbstractDTNode(DTInnerNode<I, D>, AbstractDecisionTree<I, D>) - Constructor for class de.learnlib.algorithm.oml.ttt.dt.AbstractDTNode
 
AbstractDTNode(D) - Constructor for class de.learnlib.datastructure.discriminationtree.model.AbstractDTNode
 
AbstractDTNode(N, O, D) - Constructor for class de.learnlib.datastructure.discriminationtree.model.AbstractDTNode
 
AbstractDTNode.SplitResult - Class in de.learnlib.datastructure.discriminationtree.model
 
AbstractDynamicBatchProcessor<Q,​P extends BatchProcessor<Q>> - Class in de.learnlib.oracle.parallelism
A batch processor that dynamically distributes queries to worker threads.
AbstractDynamicBatchProcessor(Supplier<? extends P>, @org.checkerframework.checker.index.qual.NonNegative int, ExecutorService) - Constructor for class de.learnlib.oracle.parallelism.AbstractDynamicBatchProcessor
 
AbstractDynamicBatchProcessorBuilder<Q,​P extends BatchProcessor<Q>,​OR> - Class in de.learnlib.oracle.parallelism
Builder class for a AbstractDynamicBatchProcessor.
AbstractDynamicBatchProcessorBuilder(Collection<? extends P>) - Constructor for class de.learnlib.oracle.parallelism.AbstractDynamicBatchProcessorBuilder
 
AbstractDynamicBatchProcessorBuilder(Supplier<? extends P>) - Constructor for class de.learnlib.oracle.parallelism.AbstractDynamicBatchProcessorBuilder
 
AbstractExplicitAAARLearner<L extends LearningAlgorithm<CM,​CI,​D> & SupportsGrowingAlphabet<CI>,​AM,​CM,​AI,​CI,​D> - Class in de.learnlib.algorithm.aaar.explicit
An "explicit" refinement of the AbstractAAARLearner.
AbstractExplicitAAARLearner(LearnerConstructor<L, CI, D>, MembershipOracle<CI, D>, ExplicitInitialAbstraction<AI, CI>, Function<AI, AI>) - Constructor for class de.learnlib.algorithm.aaar.explicit.AbstractExplicitAAARLearner
Constructor.
AbstractExtensibleAutomatonLStar<A,​I,​D,​S,​T,​SP,​TP,​AI extends MutableDeterministic<S,​I,​T,​SP,​TP> & SupportsGrowingAlphabet<I>> - Class in de.learnlib.algorithm.lstar
 
AbstractExtensibleAutomatonLStar(Alphabet<I>, MembershipOracle<I, D>, AI, List<Word<I>>, List<Word<I>>, ObservationTableCEXHandler<? super I, ? super D>, ClosingStrategy<? super I, ? super D>) - Constructor for class de.learnlib.algorithm.lstar.AbstractExtensibleAutomatonLStar
 
AbstractExtensibleAutomatonLStar.BuilderDefaults - Class in de.learnlib.algorithm.lstar
 
AbstractGenericAAARLearner<L extends LearningAlgorithm<CM,​CI,​D> & SupportsGrowingAlphabet<CI>,​AM,​CM,​AI,​CI,​D> - Class in de.learnlib.algorithm.aaar.generic
A "generic" refinement of the AbstractAAARLearner.
AbstractGenericAAARLearner(LearnerConstructor<L, CI, D>, MembershipOracle<CI, D>, CI, Function<CI, AI>) - Constructor for class de.learnlib.algorithm.aaar.generic.AbstractGenericAAARLearner
Constructor.
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
 
AbstractHypTrans<I> - Class in de.learnlib.algorithm.observationpack.vpa.hypothesis
 
AbstractHypTrans(Word<I>) - Constructor for class de.learnlib.algorithm.observationpack.vpa.hypothesis.AbstractHypTrans
 
Abstraction<AI,​CI> - Interface in de.learnlib.algorithm.aaar
An interface for mapping concrete symbols to their abstraction, and abstractions to their representatives, respectively.
AbstractLStar<A,​I,​D> - Class in de.learnlib.algorithm.lstar
An abstract base class for L*-style algorithms.
AbstractLStar(Alphabet<I>, MembershipOracle<I, D>) - Constructor for class de.learnlib.algorithm.lstar.AbstractLStar
Constructor.
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
 
AbstractNamedAcexAnalyzer - Class in de.learnlib.acex
An abstract counterexample analyzer that carries a name.
AbstractNamedAcexAnalyzer(String) - Constructor for class de.learnlib.acex.AbstractNamedAcexAnalyzer
Constructor.
AbstractObservationTableWriter<I,​D> - Class in de.learnlib.datastructure.observationtable.writer
 
AbstractObservationTableWriter() - Constructor for class de.learnlib.datastructure.observationtable.writer.AbstractObservationTableWriter
 
AbstractObservationTableWriter(Function<? super Word<? extends I>, ? extends String>, Function<? super D, ? extends String>) - Constructor for class de.learnlib.datastructure.observationtable.writer.AbstractObservationTableWriter
 
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
 
AbstractOPLearner<M extends SuffixOutput<I,​D>,​I,​D,​SP,​TP> - Class in de.learnlib.algorithm.observationpack
 
AbstractOPLearner(Alphabet<I>, MembershipOracle<I, D>, LocalSuffixFinder<? super I, ? super D>, boolean, AbstractWordBasedDiscriminationTree<I, D, HState<I, D, SP, TP>>) - Constructor for class de.learnlib.algorithm.observationpack.AbstractOPLearner
 
AbstractOPLearner.BuilderDefaults - Class in de.learnlib.algorithm.observationpack
 
AbstractOptimalTTT<M,​I,​D> - Class in de.learnlib.algorithm.oml.ttt
 
AbstractOptimalTTT(Alphabet<I>, MembershipOracle<I, D>) - Constructor for class de.learnlib.algorithm.oml.ttt.AbstractOptimalTTT
 
AbstractQuery<I,​D> - Class in de.learnlib.query
 
AbstractQuery(Query<I, ?>) - Constructor for class de.learnlib.query.AbstractQuery
 
AbstractQuery(Word<I>) - Constructor for class de.learnlib.query.AbstractQuery
 
AbstractQuery(Word<I>, Word<I>) - Constructor for class de.learnlib.query.AbstractQuery
 
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
 
AbstractStaticBatchProcessor<Q,​P extends BatchProcessor<Q>> - Class in de.learnlib.oracle.parallelism
A batch processor that statically distributes a set of queries among several threads.
AbstractStaticBatchProcessor(Collection<? extends P>, @org.checkerframework.checker.index.qual.NonNegative int, ThreadPool.PoolPolicy) - Constructor for class de.learnlib.oracle.parallelism.AbstractStaticBatchProcessor
 
AbstractStaticBatchProcessorBuilder<Q,​P extends BatchProcessor<Q>,​OR> - Class in de.learnlib.oracle.parallelism
AbstractStaticBatchProcessorBuilder(Collection<? extends P>) - Constructor for class de.learnlib.oracle.parallelism.AbstractStaticBatchProcessorBuilder
 
AbstractStaticBatchProcessorBuilder(Supplier<? extends P>) - Constructor for class de.learnlib.oracle.parallelism.AbstractStaticBatchProcessorBuilder
 
AbstractStatisticData - Class in de.learnlib.filter.statistic
Common interface for statistical data.
AbstractStatisticData(String, String) - Constructor for class de.learnlib.filter.statistic.AbstractStatisticData
 
AbstractSULOmegaOracle<S,​I,​O,​Q> - Class in de.learnlib.oracle.membership
An omega membership oracle for an ObservableSUL.
AbstractSULOmegaOracle(ObservableSUL<S, I, O>) - Constructor for class de.learnlib.oracle.membership.AbstractSULOmegaOracle
 
AbstractTemporaryIntrusiveDTNode<DSCR,​O,​D,​T extends IntrusiveList<?>,​N extends AbstractTemporaryIntrusiveDTNode<DSCR,​O,​D,​T,​N>> - Class in de.learnlib.datastructure.discriminationtree.model
An extension of the AbstractDTNode that adds the concept of temporary splitters as well as linking discrimination tree nodes outside their regular tree structure.
AbstractTemporaryIntrusiveDTNode(N, O, D) - Constructor for class de.learnlib.datastructure.discriminationtree.model.AbstractTemporaryIntrusiveDTNode
 
AbstractTestWordEQOracle<A extends Output<I,​D>,​I,​D> - Class in de.learnlib.oracle.equivalence
An abstract equivalence oracle that takes care of query batching and hypothesis checking and allows extending classes to solely focus on test word generation by implementing AbstractTestWordEQOracle.generateTestWords(Output, Collection).
AbstractTestWordEQOracle(MembershipOracle<I, D>) - Constructor for class de.learnlib.oracle.equivalence.AbstractTestWordEQOracle
 
AbstractTestWordEQOracle(MembershipOracle<I, D>, int) - Constructor for class de.learnlib.oracle.equivalence.AbstractTestWordEQOracle
 
AbstractTTTHypothesis<S extends TTTState<I,​D>,​I,​D,​T> - Class in de.learnlib.algorithm.ttt.base
Hypothesis DFA for the TTT algorithm.
AbstractTTTHypothesis(Alphabet<I>) - Constructor for class de.learnlib.algorithm.ttt.base.AbstractTTTHypothesis
Constructor.
AbstractTTTHypothesis.GraphView - Class in de.learnlib.algorithm.ttt.base
 
AbstractTTTHypothesis.TTTEdge<I,​D> - Class in de.learnlib.algorithm.ttt.base
 
AbstractTTTLearner<A,​I,​D> - Class in de.learnlib.algorithm.ttt.base
The TTT learning algorithm for DFA.
AbstractTTTLearner(Alphabet<I>, MembershipOracle<I, D>, AbstractTTTHypothesis<?, I, D, ?>, BaseTTTDiscriminationTree<I, D>, AcexAnalyzer) - Constructor for class de.learnlib.algorithm.ttt.base.AbstractTTTLearner
 
AbstractTTTLearner.BuilderDefaults - Class in de.learnlib.algorithm.ttt.base
 
AbstractTTTLearner.Splitter<I,​D> - Class in de.learnlib.algorithm.ttt.base
Data structure for representing a splitter.
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
 
AbstractVPALearner<I> - Class in de.learnlib.algorithm.observationpack.vpa
 
AbstractVPALearner(VPAlphabet<I>, MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.algorithm.observationpack.vpa.AbstractVPALearner
 
AbstractWordBasedDiscriminationTree<I,​O,​D> - Class in de.learnlib.datastructure.discriminationtree.model
Convenient class for word-based discrimination trees that already binds certain generics.
AbstractWordBasedDiscriminationTree(AbstractWordBasedDTNode<I, O, D>, MembershipOracle<I, O>) - Constructor for class de.learnlib.datastructure.discriminationtree.model.AbstractWordBasedDiscriminationTree
 
AbstractWordBasedDTNode<I,​O,​D> - Class in de.learnlib.datastructure.discriminationtree.model
Convenient class for word-based discrimination tree nodes that already binds certain generics.
AbstractWordBasedDTNode(D) - Constructor for class de.learnlib.datastructure.discriminationtree.model.AbstractWordBasedDTNode
 
AbstractWordBasedDTNode(AbstractWordBasedDTNode<I, O, D>, O, D) - Constructor for class de.learnlib.datastructure.discriminationtree.model.AbstractWordBasedDTNode
 
accepts(A, Iterable<? extends I>) - Method in interface de.learnlib.oracle.AutomatonOracle
Returns whether the given input is accepted by the given hypothesis.
accepts(DFA<?, I>, Iterable<? extends I>) - Method in interface de.learnlib.oracle.AutomatonOracle.DFAOracle
 
accepts(MealyMachine<?, I, ?, O>, Iterable<? extends I>) - Method in interface de.learnlib.oracle.AutomatonOracle.MealyOracle
 
access - Variable in class de.learnlib.datastructure.pta.AbstractBlueFringePTAState
 
accessSequence - Variable in class de.learnlib.algorithm.kv.StateInfo
 
AccessSequenceProvider<I> - Interface in de.learnlib
Common interface for objects that have an access sequence associated with them (e.g., states and transitions of a hypotheses).
AccessSequenceTransformer<I> - Interface in de.learnlib
 
AcexAnalysisAlgorithms - Class in de.learnlib.acex
 
AcexAnalyzer - Interface in de.learnlib.acex
 
AcexAnalyzers - Class in de.learnlib.acex
This is a utility class, acting as a container for several AbstractNamedAcexAnalyzers.
AcexAnalyzers.Direction - Enum in de.learnlib.acex
 
AcexLocalSuffixFinder - Class in de.learnlib.counterexample
AcexLocalSuffixFinder(AcexAnalyzer, boolean, String) - Constructor for class de.learnlib.counterexample.AcexLocalSuffixFinder
Constructor.
add(AbstractHypTrans<I>) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.TransList
 
add(DTNode<I>) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.BlockList
 
add(Word<I>, D) - Method in class de.learnlib.oracle.equivalence.SampleSetEQOracle
Adds a query word along with its expected output to the sample set.
addAll(TransList<I>) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.TransList
 
addAll(MembershipOracle<I, D>, Collection<? extends Word<I>>) - Method in class de.learnlib.oracle.equivalence.SampleSetEQOracle
Adds words to the sample set.
addAll(MembershipOracle<I, D>, Word<I>...) - Method in class de.learnlib.oracle.equivalence.SampleSetEQOracle
Adds several query words to the sample set.
addAll(DefaultQuery<I, D>...) - Method in class de.learnlib.oracle.equivalence.SampleSetEQOracle
Adds queries to the sample set.
addAll(Collection<? extends DefaultQuery<I, D>>) - Method in class de.learnlib.oracle.equivalence.SampleSetEQOracle
Adds queries to the sample set.
addAlphabetSymbol(I) - Method in class de.learnlib.algorithm.adt.learner.ADTLearner
 
addAlphabetSymbol(I) - Method in class de.learnlib.algorithm.dhc.mealy.MealyDHC
 
addAlphabetSymbol(I) - Method in class de.learnlib.algorithm.kv.dfa.KearnsVaziraniDFA
 
addAlphabetSymbol(I) - Method in class de.learnlib.algorithm.kv.mealy.KearnsVaziraniMealy
 
addAlphabetSymbol(I) - Method in class de.learnlib.algorithm.lstar.AbstractAutomatonLStar
 
addAlphabetSymbol(I) - Method in class de.learnlib.algorithm.lstar.AbstractLStar
 
addAlphabetSymbol(I) - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealy
 
addAlphabetSymbol(I) - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealy
 
addAlphabetSymbol(I) - Method in class de.learnlib.algorithm.observationpack.AbstractOPLearner
 
addAlphabetSymbol(I) - Method in class de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis
 
addAlphabetSymbol(I) - Method in class de.learnlib.algorithm.oml.ttt.AbstractOptimalTTT
 
addAlphabetSymbol(I) - Method in class de.learnlib.algorithm.ttt.base.AbstractTTTHypothesis
 
addAlphabetSymbol(I) - Method in class de.learnlib.algorithm.ttt.base.AbstractTTTLearner
 
addAlphabetSymbol(I) - Method in class de.learnlib.filter.cache.dfa.DFACacheOracle
 
addAlphabetSymbol(I) - Method in class de.learnlib.filter.cache.mealy.MealyCacheOracle
 
addAlphabetSymbol(I) - Method in class de.learnlib.filter.cache.moore.MooreCacheOracle
 
addAlphabetSymbol(I, MembershipOracle<I, D>) - Method in class de.learnlib.datastructure.observationtable.GenericObservationTable
 
addAlphabetSymbol(I, MembershipOracle<I, D>) - Method in interface de.learnlib.datastructure.observationtable.MutableObservationTable
 
addChild(D, AbstractDTNode<I, D>) - Method in interface de.learnlib.algorithm.oml.ttt.dt.Children
 
addChild(O, D) - Method in class de.learnlib.datastructure.discriminationtree.model.AbstractDTNode
 
addDataPoint(Long) - Method in class de.learnlib.filter.statistic.HistogramDataSet
 
addEdge(int, ReuseEdge<S, I, O>) - Method in class de.learnlib.filter.reuse.tree.ReuseNode
Adds an outgoing ReuseEdge to this ReuseNode.
addGlobalSuffixes(Collection<? extends Word<I>>) - Method in class de.learnlib.algorithm.dhc.mealy.MealyDHC
 
addGlobalSuffixes(Collection<? extends Word<I>>) - Method in interface de.learnlib.algorithm.GlobalSuffixLearner
Add the provided suffixes to the collection of global suffixes.
addGlobalSuffixes(Collection<? extends Word<I>>) - Method in class de.learnlib.algorithm.lstar.AbstractLStar
 
addIncoming(int, int) - Method in class de.learnlib.algorithm.kv.StateInfo
 
addIncoming(AbstractHypTrans<I>) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.DTNode
 
addInput(String, Method, Object...) - Method in class de.learnlib.driver.reflect.SimplePOJOTestDriver
 
addInput(String, String, Object...) - Method in class de.learnlib.driver.reflect.SimplePOJOTestDriver
 
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.
addNegativeSample(Word<I>) - Method in interface de.learnlib.algorithm.PassiveLearningAlgorithm.PassiveAcceptorLearner
 
addNegativeSamples(Collection<? extends Word<I>>) - Method in interface de.learnlib.algorithm.PassiveLearningAlgorithm.PassiveAcceptorLearner
 
addNegativeSamples(Word<I>...) - Method in interface de.learnlib.algorithm.PassiveLearningAlgorithm.PassiveAcceptorLearner
 
addNonTreeIncoming(HTransition<I, O, SP, TP>) - Method in class de.learnlib.algorithm.observationpack.hypothesis.HState
 
addOracle(EquivalenceOracle<? super A, I, D>) - Method in class de.learnlib.oracle.equivalence.EQOracleChain
 
addOracle(PropertyOracle<I, ? super A, P, D>) - Method in class de.learnlib.oracle.property.PropertyOracleChain
 
addPositiveSample(Word<I>) - Method in interface de.learnlib.algorithm.PassiveLearningAlgorithm.PassiveAcceptorLearner
 
addPositiveSamples(Collection<? extends Word<I>>) - Method in interface de.learnlib.algorithm.PassiveLearningAlgorithm.PassiveAcceptorLearner
 
addPositiveSamples(Word<I>...) - Method in interface de.learnlib.algorithm.PassiveLearningAlgorithm.PassiveAcceptorLearner
 
addSample(DefaultQuery<I, D>) - Method in interface de.learnlib.algorithm.PassiveLearningAlgorithm
 
addSample(IntSeq, SP) - Method in class de.learnlib.datastructure.pta.BasePTA
Adds a sample to the PTA, and sets the property of the last reached (or inserted) state accordingly.
addSample(Word<I>, D) - Method in interface de.learnlib.algorithm.PassiveLearningAlgorithm
 
addSamples(DefaultQuery<I, D>...) - Method in interface de.learnlib.algorithm.PassiveLearningAlgorithm
 
addSamples(D, Collection<? extends Word<I>>) - Method in interface de.learnlib.algorithm.PassiveLearningAlgorithm
 
addSamples(D, Word<I>...) - Method in interface de.learnlib.algorithm.PassiveLearningAlgorithm
 
addSamples(Collection<? extends DefaultQuery<I, D>>) - Method in interface de.learnlib.algorithm.PassiveLearningAlgorithm
 
addSamples(Collection<? extends DefaultQuery<I, Boolean>>) - Method in class de.learnlib.algorithm.rpni.BlueFringeEDSMDFA
 
addSamples(Collection<? extends DefaultQuery<I, Boolean>>) - Method in class de.learnlib.algorithm.rpni.BlueFringeMDLDFA
 
addSamples(Collection<? extends DefaultQuery<I, Boolean>>) - Method in class de.learnlib.algorithm.rpni.BlueFringeRPNIDFA
 
addSamples(Collection<? extends DefaultQuery<I, Word<O>>>) - Method in class de.learnlib.algorithm.ostia.OSTIA
 
addSamples(Collection<? extends DefaultQuery<I, Word<O>>>) - Method in class de.learnlib.algorithm.rpni.BlueFringeRPNIMealy
 
addSamples(Collection<? extends DefaultQuery<I, Word<O>>>) - Method in class de.learnlib.algorithm.rpni.BlueFringeRPNIMoore
 
addSampleWithStateProperties(IntSeq, List<? extends SP>) - Method in class de.learnlib.datastructure.pta.BasePTA
 
addSampleWithTransitionProperties(IntSeq, List<? extends TP>) - Method in class de.learnlib.datastructure.pta.BasePTA
 
addShortPrefix(PTNode<I, D>) - Method in class de.learnlib.algorithm.oml.ttt.dt.DTLeaf
 
addShortPrefixes(List<? extends Word<I>>, MembershipOracle<I, D>) - Method in class de.learnlib.datastructure.observationtable.GenericObservationTable
 
addShortPrefixes(List<? extends Word<I>>, MembershipOracle<I, D>) - Method in interface de.learnlib.datastructure.observationtable.MutableObservationTable
 
addState(S, Word<I>, O) - Method in class de.learnlib.algorithm.adt.model.ObservationTree
Registers a new hypothesis state at the observation tree.
addSuffix(Word<I>) - Method in class de.learnlib.algorithm.nlstar.ObservationTable
 
addSuffix(Word<I>, MembershipOracle<I, D>) - Method in class de.learnlib.datastructure.observationtable.GenericObservationTable
 
addSuffix(Word<I>, MembershipOracle<I, D>) - Method in interface de.learnlib.datastructure.observationtable.MutableObservationTable
Adds a suffix to the list of distinguishing suffixes.
addSuffixes(Collection<? extends Word<I>>, MembershipOracle<I, D>) - Method in class de.learnlib.datastructure.observationtable.GenericObservationTable
 
addSuffixes(Collection<? extends Word<I>>, MembershipOracle<I, D>) - Method in interface de.learnlib.datastructure.observationtable.MutableObservationTable
Adds suffixes to the list of distinguishing suffixes.
addSuffixes(List<? extends Word<I>>) - Method in class de.learnlib.algorithm.nlstar.ObservationTable
 
addSuffixesUnchecked(Collection<? extends Word<I>>) - Method in class de.learnlib.algorithm.dhc.mealy.MealyDHC
 
addSystemState(S) - Method in class de.learnlib.filter.reuse.tree.ReuseNode
 
addTrace(S, ADTNode<S, I, O>) - Method in class de.learnlib.algorithm.adt.model.ObservationTree
addTrace(S, Word<I>, Word<O>) - Method in class de.learnlib.algorithm.adt.model.ObservationTree
Store input/output information about a hypothesis state in the internal data structure.
addUnlabeled(PrefixTTTLearnerDFA.ExtDTNode<I>) - Method in class de.learnlib.algorithm.ttt.dfa.PrefixTTTLearnerDFA.ExtDTNode
 
addWord(Word<I>) - Method in interface de.learnlib.oracle.AutomatonOracle
Add a new input word.
addWord(Word<I>) - Method in class de.learnlib.util.AbstractBFOracle
Adds a new input word to the queue.
addWords(A, Collection<? extends I>, Word<I>) - Method in interface de.learnlib.oracle.AutomatonOracle
Adds words to a datastructure.
ADSCalculator - Interface in de.learnlib.algorithm.adt.config.model
 
ADT<S,​I,​O> - Class in de.learnlib.algorithm.adt.adt
The adaptive discrimination tree class.
ADT() - Constructor for class de.learnlib.algorithm.adt.adt.ADT
 
ADT.LCAInfo<S,​I,​O> - Class in de.learnlib.algorithm.adt.adt
 
ADTExtender - Interface in de.learnlib.algorithm.adt.api
Interface for configuration objects that specify how to finalize the temporary splitter given by regular counterexample decomposition.
ADTExtenders - Class in de.learnlib.algorithm.adt.config
A collection of default ADTExtender configurations.
ADTHypothesis<I,​O> - Class in de.learnlib.algorithm.adt.automaton
Hypothesis model.
ADTHypothesis(Alphabet<I>) - Constructor for class de.learnlib.algorithm.adt.automaton.ADTHypothesis
 
ADTLeafNode<S,​I,​O> - Class in de.learnlib.algorithm.adt.adt
Leaf node implementation.
ADTLeafNode(ADTNode<S, I, O>, S) - Constructor for class de.learnlib.algorithm.adt.adt.ADTLeafNode
 
ADTLearner<I,​O> - Class in de.learnlib.algorithm.adt.learner
The main learning algorithm.
ADTLearner(Alphabet<I>, SymbolQueryOracle<I, O>, LeafSplitter, ADTExtender, SubtreeReplacer) - Constructor for class de.learnlib.algorithm.adt.learner.ADTLearner
 
ADTLearner(Alphabet<I>, SymbolQueryOracle<I, O>, LeafSplitter, ADTExtender, SubtreeReplacer, boolean) - Constructor for class de.learnlib.algorithm.adt.learner.ADTLearner
 
ADTLearnerBuilder<I,​O> - Class in de.learnlib.algorithm.adt.learner
 
ADTLearnerBuilder() - Constructor for class de.learnlib.algorithm.adt.learner.ADTLearnerBuilder
 
ADTLearnerState<S,​I,​O> - Class in de.learnlib.algorithm.adt.learner
Utility class that captures all essential state of a ADTLearner run.
adtNode - Variable in class de.learnlib.algorithm.adt.adt.ADT.LCAInfo
 
ADTNode<S,​I,​O> - Interface in de.learnlib.algorithm.adt.adt
The ADT equivalent of ADSNode.
ADTNode.NodeType - Enum in de.learnlib.algorithm.adt.adt
Utility enum to distinguish the 3 possible types of ADT nodes.
ADTResetNode<S,​I,​O> - Class in de.learnlib.algorithm.adt.adt
Reset node implementation.
ADTResetNode(ADTNode<S, I, O>) - Constructor for class de.learnlib.algorithm.adt.adt.ADTResetNode
 
ADTState<I,​O> - Class in de.learnlib.algorithm.adt.automaton
Hypothesis state model.
ADTState(int) - Constructor for class de.learnlib.algorithm.adt.automaton.ADTState
 
ADTSymbolNode<S,​I,​O> - Class in de.learnlib.algorithm.adt.adt
Symbol node implementation.
ADTSymbolNode(ADTNode<S, I, O>, I) - Constructor for class de.learnlib.algorithm.adt.adt.ADTSymbolNode
 
ADTTransition<I,​O> - Class in de.learnlib.algorithm.adt.automaton
Hypothesis transition model.
ADTTransition() - Constructor for class de.learnlib.algorithm.adt.automaton.ADTTransition
 
ADTUtil - Class in de.learnlib.algorithm.adt.util
Utility class, that offers some operations revolving around adaptive distinguishing sequences.
all() - Method in interface de.learnlib.algorithm.oml.ttt.dt.Children
 
ALL_ANALYZERS - Static variable in class de.learnlib.acex.AcexAnalyzers
 
allNodesFinal() - Method in class de.learnlib.algorithm.ttt.base.AbstractTTTLearner
 
alphabet - Variable in class de.learnlib.algorithm.lstar.AbstractLStar
 
alphabet - Variable in class de.learnlib.algorithm.observationpack.vpa.AbstractVPALearner
 
alphabet - Variable in class de.learnlib.algorithm.oml.ttt.dt.AbstractDecisionTree
 
alphabet - Variable in class de.learnlib.algorithm.rpni.AbstractBlueFringeRPNI
 
alphabet - Variable in class de.learnlib.algorithm.ttt.base.AbstractTTTLearner
 
ALPHABET - Static variable in class de.learnlib.testsupport.AbstractBFOracleTest
 
alphabetSize - Variable in class de.learnlib.algorithm.rpni.AbstractBlueFringeRPNI
 
analyzeAbstractCounterexample(AbstractCounterexample<?>) - Method in interface de.learnlib.acex.AcexAnalyzer
Analyzes an abstract counterexample.
analyzeAbstractCounterexample(AbstractCounterexample<?>, int) - Method in interface de.learnlib.acex.AcexAnalyzer
 
analyzeAbstractCounterexample(AbstractCounterexample<?>, int, int) - Method in interface de.learnlib.acex.AcexAnalyzer
 
analyzeInconsistency(Inconsistency<I>) - Method in class de.learnlib.algorithm.lstar.AbstractLStar
Analyzes an inconsistency.
analyzer - Variable in class de.learnlib.algorithm.observationpack.vpa.OPLearnerVPA
 
analyzer - Variable in class de.learnlib.algorithm.ttt.base.AbstractTTTLearner
 
analyzer() - Static method in class de.learnlib.algorithm.ttt.base.AbstractTTTLearner.BuilderDefaults
 
answer(D, int) - Method in class de.learnlib.query.OmegaQuery
 
answer(D) - Method in class de.learnlib.query.DefaultQuery
 
answer(D) - Method in class de.learnlib.query.Query
Answers the query.
answerOmegaQueries(OmegaQueryAnswerer<S, I, D>, Collection<? extends OmegaQuery<I, D>>) - Static method in class de.learnlib.util.MQUtil
 
answerQueries(QueryAnswerer<I, D>, Collection<? extends Query<I, D>>) - Static method in class de.learnlib.util.MQUtil
 
answerQuery(Word<AI>, Word<AI>) - Method in class de.learnlib.oracle.membership.MappedOracle
 
answerQuery(Word<I>) - Method in class de.learnlib.filter.reuse.ReuseOracle
 
answerQuery(Word<I>) - Method in interface de.learnlib.oracle.MembershipOracle
 
answerQuery(Word<I>) - Method in interface de.learnlib.oracle.QueryAnswerer
 
answerQuery(Word<I>, Word<I>) - Method in class de.learnlib.filter.reuse.ReuseOracle
 
answerQuery(Word<I>, Word<I>) - Method in class de.learnlib.oracle.membership.SimulatorOracle
 
answerQuery(Word<I>, Word<I>) - Method in class de.learnlib.oracle.membership.StateLocalInputSULOracle
 
answerQuery(Word<I>, Word<I>) - Method in class de.learnlib.oracle.membership.SULOracle
 
answerQuery(Word<I>, Word<I>) - Method in interface de.learnlib.oracle.MembershipOracle
 
answerQuery(Word<I>, Word<I>) - Method in interface de.learnlib.oracle.QueryAnswerer
 
answerQuery(Word<I>, Word<I>) - Method in interface de.learnlib.oracle.SingleQueryOracle
 
answerQuery(Word<I>, Word<I>, int) - Method in class de.learnlib.oracle.membership.AbstractSULOmegaOracle
 
answerQuery(Word<I>, Word<I>, int) - Method in class de.learnlib.oracle.membership.SimulatorOmegaOracle
Returns an answer for an OmegaQuery.
answerQuery(Word<I>, Word<I>, int) - Method in interface de.learnlib.oracle.OmegaMembershipOracle
 
answerQuery(Word<I>, Word<I>, int) - Method in interface de.learnlib.oracle.OmegaQueryAnswerer
 
anyChild() - Method in class de.learnlib.datastructure.discriminationtree.model.AbstractTemporaryIntrusiveDTNode
 
anySubtreeState() - Method in class de.learnlib.algorithm.ttt.base.AbstractBaseDTNode
 
append(I) - Method in interface de.learnlib.algorithm.oml.ttt.pt.PTNode
 
append(I) - Method in class de.learnlib.algorithm.oml.ttt.pt.PTNodeImpl
 
appendAccessSequence(List<? super I>) - Method in class de.learnlib.algorithm.observationpack.hypothesis.HState
 
apply(AbstractBlueFringePTA<S, SP, TP>, Consumer<? super PTATransition<S>>) - Method in class de.learnlib.datastructure.pta.RedBlueMerge
 
apply(SULMapper<? super AI, ? extends AO, CI, CO>, SUL<? super CI, ? extends CO>) - Static method in class de.learnlib.mapper.SULMappers
 
asDefaultQuery() - Method in class de.learnlib.query.OmegaQuery
 
asDFALearner() - Method in class de.learnlib.algorithm.nlstar.NLStarLearner
Retrieves a view of this learner as a DFA learner.
asOracle() - Method in interface de.learnlib.oracle.MembershipOracle
 
asOracle() - Method in interface de.learnlib.oracle.OmegaMembershipOracle
 
asOracle() - Method in interface de.learnlib.oracle.OmegaQueryAnswerer
 
asOracle() - Method in interface de.learnlib.oracle.QueryAnswerer
 
ATManager<I> - Interface in de.learnlib.algorithm.procedural.sba
A manager of access sequences and terminating sequences of SBAs during the learning process.
ATManager<I,​O> - Interface in de.learnlib.algorithm.procedural.spmm
A manager of access sequences and terminating sequences of SPMMs during the learning process.
ATRManager<I> - Interface in de.learnlib.algorithm.procedural.spa
A manager of access sequences, terminating sequences, and return sequences of SPAs during the learning process.
AutomatonLStarState<I,​D,​AI,​S> - Class in de.learnlib.algorithm.lstar
Class that contains all data that represent the internal state of the AbstractAutomatonLStar learner and its DFA and Mealy implementations.
AutomatonOracle<A extends DeterministicAutomaton<?,​I,​?>,​I,​D> - Interface in de.learnlib.oracle
Finds counterexamples (to particular claims) to a hypothesis, while generating words that are in the given hypothesis.
AutomatonOracle.DFAOracle<I> - Interface in de.learnlib.oracle
 
AutomatonOracle.MealyOracle<I,​O> - Interface in de.learnlib.oracle
 

B

BACKWARD - de.learnlib.acex.AcexAnalyzers.Direction
 
BasePTA<S extends AbstractBasePTAState<S,​SP,​TP>,​SP,​TP> - Class in de.learnlib.datastructure.pta
Base class for prefix tree acceptors.
BasePTA(int, S) - Constructor for class de.learnlib.datastructure.pta.BasePTA
Constructor.
BaseTTTDiscriminationTree<I,​D> - Class in de.learnlib.algorithm.ttt.base
The discrimination tree data structure.
BaseTTTDiscriminationTree(MembershipOracle<I, D>, AbstractBaseDTNode<I, D>) - Constructor for class de.learnlib.algorithm.ttt.base.BaseTTTDiscriminationTree
 
BaseTTTDiscriminationTree(MembershipOracle<I, D>, Supplier<? extends AbstractBaseDTNode<I, D>>) - Constructor for class de.learnlib.algorithm.ttt.base.BaseTTTDiscriminationTree
 
BATCH_SIZE - Static variable in class de.learnlib.oracle.parallelism.AbstractDynamicBatchProcessor
 
BatchInterruptedException - Exception in de.learnlib.oracle.parallelism
Exception that is thrown if a parallel batch is interrupted during processing.
BatchInterruptedException(Throwable) - Constructor for exception de.learnlib.oracle.parallelism.BatchInterruptedException
 
BatchProcessor<T> - Interface in de.learnlib.oracle.parallelism
A markup interface for classes that can process a batch of work in a parallel environment (e.g. a MembershipOracle when used by a ParallelOracle).
BestEffortCalculator - Class in de.learnlib.algorithm.adt.config.model.calculator
 
BestEffortCalculator() - Constructor for class de.learnlib.algorithm.adt.config.model.calculator.BestEffortCalculator
 
BestEffortDefensiveCalculator - Class in de.learnlib.algorithm.adt.config.model.calculator
 
BestEffortDefensiveCalculator() - Constructor for class de.learnlib.algorithm.adt.config.model.calculator.BestEffortDefensiveCalculator
 
BINARY_SEARCH_BWD - Static variable in class de.learnlib.acex.AcexAnalyzers
Analyzer that searches for a suffix index using binary search.
BINARY_SEARCH_FWD - Static variable in class de.learnlib.acex.AcexAnalyzers
 
BinaryDTNode<I,​D> - Class in de.learnlib.datastructure.discriminationtree
Binary discrimination tree node specialization.
BinaryDTNode(D) - Constructor for class de.learnlib.datastructure.discriminationtree.BinaryDTNode
 
BinaryDTNode(BinaryDTNode<I, D>, Boolean, D) - Constructor for class de.learnlib.datastructure.discriminationtree.BinaryDTNode
 
BinaryDTree<I,​D> - Class in de.learnlib.datastructure.discriminationtree
Binary discrimination tree specialization.
BinaryDTree(MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.datastructure.discriminationtree.BinaryDTree
 
BinaryDTree(MembershipOracle<I, Boolean>, boolean) - Constructor for class de.learnlib.datastructure.discriminationtree.BinaryDTree
 
BinaryDTree(D, MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.datastructure.discriminationtree.BinaryDTree
 
binarySearchLeft(AbstractCounterexample<E>, int, int) - Static method in class de.learnlib.acex.AcexAnalysisAlgorithms
 
binarySearchRight(AbstractCounterexample<E>, int, int) - Static method in class de.learnlib.acex.AcexAnalysisAlgorithms
Search for a suffix index using a binary search.
BlackBoxOracle<A extends Output<I,​D>,​I,​D> - Interface in de.learnlib.oracle
Decides whether some words that do not satisfy properties evaluated by BlackBoxOracle.getPropertyOracles() on a given hypothesis, are included in a language.
BlackBoxOracle.DFABlackBoxOracle<I> - Interface in de.learnlib.oracle
 
BlackBoxOracle.MealyBlackBoxOracle<I,​O> - Interface in de.learnlib.oracle
 
blockList - Variable in class de.learnlib.algorithm.ttt.base.AbstractTTTLearner
The blocks during a split operation.
BlockList<I> - Class in de.learnlib.algorithm.observationpack.vpa.hypothesis
 
BlockList<I,​D> - Class in de.learnlib.algorithm.ttt.base
A list for storing blocks (identified by their root AbstractBaseDTNodes).
BlockList() - Constructor for class de.learnlib.algorithm.observationpack.vpa.hypothesis.BlockList
 
BlockList() - Constructor for class de.learnlib.algorithm.ttt.base.BlockList
 
BlueFringeEDSMDFA<I> - Class in de.learnlib.algorithm.rpni
A state-merging learning algorithm based on the evidence principle.
BlueFringeEDSMDFA(Alphabet<I>) - Constructor for class de.learnlib.algorithm.rpni.BlueFringeEDSMDFA
Constructor.
BlueFringeMDLDFA<I> - Class in de.learnlib.algorithm.rpni
A state-merging learning algorithm based on the minimal description length principle.
BlueFringeMDLDFA(Alphabet<I>) - Constructor for class de.learnlib.algorithm.rpni.BlueFringeMDLDFA
Constructor.
BlueFringePTA<SP,​TP> - Class in de.learnlib.datastructure.pta
 
BlueFringePTA(int) - Constructor for class de.learnlib.datastructure.pta.BlueFringePTA
 
BlueFringePTAState<SP,​TP> - Class in de.learnlib.datastructure.pta
 
BlueFringePTAState() - Constructor for class de.learnlib.datastructure.pta.BlueFringePTAState
 
BlueFringeRPNIDFA<I> - Class in de.learnlib.algorithm.rpni
A Blue Fringe version of RPNI for learning DFAs.
BlueFringeRPNIDFA(Alphabet<I>) - Constructor for class de.learnlib.algorithm.rpni.BlueFringeRPNIDFA
Constructor.
BlueFringeRPNIMealy<I,​O> - Class in de.learnlib.algorithm.rpni
Blue-fringe version of RPNI for inferring Mealy machines.
BlueFringeRPNIMealy(Alphabet<I>) - Constructor for class de.learnlib.algorithm.rpni.BlueFringeRPNIMealy
 
BlueFringeRPNIMoore<I,​O> - Class in de.learnlib.algorithm.rpni
Blue-fringe version of RPNI for inferring Moore machines.
BlueFringeRPNIMoore(Alphabet<I>) - Constructor for class de.learnlib.algorithm.rpni.BlueFringeRPNIMoore
 
BooleanMap<V> - Class in de.learnlib.datastructure.discriminationtree.model
Primitive implementation for boolean maps.
BooleanMap() - Constructor for class de.learnlib.datastructure.discriminationtree.model.BooleanMap
 
BooleanMap(V, V) - Constructor for class de.learnlib.datastructure.discriminationtree.model.BooleanMap
 
BoundedDeque<E> - Class in de.learnlib.filter.reuse.tree
A generic deque-derived container which transparently acts either as a stack or a queue, and optionally a capacity restriction with a configurable policy which element is evicted (or reject) if the maximum capacity is reached.
BoundedDeque(int, BoundedDeque.AccessPolicy, BoundedDeque.EvictPolicy) - Constructor for class de.learnlib.filter.reuse.tree.BoundedDeque
Constructor.
BoundedDeque(BoundedDeque.AccessPolicy) - Constructor for class de.learnlib.filter.reuse.tree.BoundedDeque
Constructor.
BoundedDeque.AccessPolicy - Enum in de.learnlib.filter.reuse.tree
The policy which determines in which order elements are accessed.
BoundedDeque.EvictPolicy - Enum in de.learnlib.filter.reuse.tree
The policy which determines in which order elements are removed if the maximum capacity is reached.
build() - Method in class de.learnlib.filter.reuse.ReuseOracle.ReuseOracleBuilder
 
build() - Method in class de.learnlib.filter.reuse.tree.ReuseTree.ReuseTreeBuilder
 
buildADSFromObservation(Word<I>, Word<O>, S) - Static method in class de.learnlib.algorithm.adt.util.ADTUtil
Build a single trace ADS from the given information.
buildADSFromTrace(MealyMachine<S, I, ?, O>, Word<I>, S) - Static method in class de.learnlib.algorithm.adt.util.ADTUtil
 
buildFromADS(ADSNode<S, I, O>) - Static method in class de.learnlib.algorithm.adt.util.ADTUtil
Utility method that wraps an ADS of type ADSNode into the equivalent ADS of type ADTNode.
buildOracle(Collection<? extends MembershipOracle<I, D>>, int, ThreadPool.PoolPolicy) - Method in class de.learnlib.oracle.parallelism.StaticParallelOracleBuilder
 
buildOracle(Collection<? extends OmegaMembershipOracle<S, I, D>>, int, ThreadPool.PoolPolicy) - Method in class de.learnlib.oracle.parallelism.StaticParallelOmegaOracleBuilder
 
buildOracle(Collection<? extends P>, int, ThreadPool.PoolPolicy) - Method in class de.learnlib.oracle.parallelism.AbstractStaticBatchProcessorBuilder
 
buildOracle(Supplier<? extends MembershipOracle<I, D>>, int, ExecutorService) - Method in class de.learnlib.oracle.parallelism.DynamicParallelOracleBuilder
 
buildOracle(Supplier<? extends OmegaMembershipOracle<S, I, D>>, int, ExecutorService) - Method in class de.learnlib.oracle.parallelism.DynamicParallelOmegaOracleBuilder
 
buildOracle(Supplier<? extends P>, int, ExecutorService) - Method in class de.learnlib.oracle.parallelism.AbstractDynamicBatchProcessorBuilder
 
buildPtt(int, Iterator<Pair<IntSeq, IntSeq>>) - Static method in class de.learnlib.algorithm.ostia.OSTIA
 
buildQuery(DTNode<I>, Word<I>) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.DTree
 
buildQuery(AbstractBaseDTNode<I, D>, Word<I>) - Method in class de.learnlib.algorithm.ttt.base.BaseTTTDiscriminationTree
 
buildQuery(AbstractWordBasedDTNode<I, O, D>, Word<I>) - Method in class de.learnlib.datastructure.discriminationtree.model.AbstractWordBasedDiscriminationTree
 
buildQuery(N, Word<I>) - Method in class de.learnlib.datastructure.discriminationtree.model.AbstractDiscriminationTree
 
buildTraceForNode(ADTNode<S, I, O>) - Static method in class de.learnlib.algorithm.adt.util.ADTUtil
 
BUTTON - de.learnlib.example.mealy.ExampleCoffeeMachine.Input
 
BWD_ANALYZERS - Static variable in class de.learnlib.acex.AcexAnalyzers
 

C

CACHED - de.learnlib.oracle.parallelism.ThreadPool.PoolPolicy
Maintain a "cached" thread pool.
CALL - de.learnlib.algorithm.ttt.vpa.Splitter.SplitType
 
canFork() - Method in class de.learnlib.driver.ContextExecutableInputSUL
 
canFork() - Method in class de.learnlib.driver.ExecutableInputSUL
 
canFork() - Method in class de.learnlib.driver.reflect.SimplePOJOExceptionMapper
 
canFork() - Method in class de.learnlib.driver.simulator.MealySimulatorSUL
 
canFork() - Method in class de.learnlib.filter.statistic.sul.ResetCounterSUL
 
canFork() - Method in class de.learnlib.filter.statistic.sul.SLICounterStateLocalInputSUL
 
canFork() - Method in class de.learnlib.filter.statistic.sul.SymbolCounterSUL
 
canFork() - Method in class de.learnlib.mapper.MappedSUL
 
canFork() - Method in interface de.learnlib.sul.SUL
Returns whether this SUL is capable of forking.
canFork() - Method in interface de.learnlib.sul.SULMapper
Checks whether it is possible to fork this mapper.
CANONICAL_ORDER - de.learnlib.datastructure.pta.config.DefaultProcessingOrders
Processes blue states in ascending canonical order of their access sequences.
Category - Class in de.learnlib.logging
A set of markers that allow one to categorize logging output.
cellContents(Row<I>, int) - Method in interface de.learnlib.datastructure.observationtable.ObservationTable
 
cellContents(Row<I>, int) - Method in class de.learnlib.datastructure.observationtable.reader.SimpleObservationTable
 
CExFirstOracle<A extends Output<I,​D>,​I,​D> - Class in de.learnlib.oracle.equivalence
The strategy of this black-box oracle is to first try out a property, to see if it can be disproved.
CExFirstOracle() - Constructor for class de.learnlib.oracle.equivalence.CExFirstOracle
 
CExFirstOracle(PropertyOracle<I, ? super A, ?, D>) - Constructor for class de.learnlib.oracle.equivalence.CExFirstOracle
 
CExFirstOracle(Collection<? extends PropertyOracle<I, ? super A, ?, D>>) - Constructor for class de.learnlib.oracle.equivalence.CExFirstOracle
 
cexHandler - Variable in class de.learnlib.algorithm.lstar.AbstractExtensibleAutomatonLStar
 
cexHandler() - Static method in class de.learnlib.algorithm.lstar.AbstractExtensibleAutomatonLStar.BuilderDefaults
 
checkEffects(D, D) - Method in class de.learnlib.acex.OutInconsPrefixTransformAcex
 
checkEffects(E, E) - Method in interface de.learnlib.acex.AbstractCounterexample
 
checkEffects(Boolean, Boolean) - Method in class de.learnlib.acex.ClassicPrefixTransformAcex
 
checkEffects(Boolean, Boolean) - Method in class de.learnlib.algorithm.kv.dfa.KearnsVaziraniDFA.KVAbstractCounterexample
 
checkEffects(Boolean, Boolean) - Method in class de.learnlib.algorithm.kv.mealy.KearnsVaziraniMealy.KVAbstractCounterexample
 
checkEffects(Boolean, Boolean) - Method in class de.learnlib.algorithm.observationpack.vpa.OPLearnerVPA.PrefixTransformAcex
 
checkEffects(Word<O>, Word<O>) - Method in class de.learnlib.acex.MealyOutInconsPrefixTransformAcex
 
checkEffects(Word<O>, Word<O>) - Method in class de.learnlib.acex.MooreOutInconsPrefixTransformAcex
 
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
 
child(D) - Method in interface de.learnlib.algorithm.oml.ttt.dt.Children
 
child(O) - Method in class de.learnlib.datastructure.discriminationtree.model.AbstractDTNode
 
child(O, D) - Method in class de.learnlib.datastructure.discriminationtree.model.AbstractDTNode
 
children - Variable in class de.learnlib.datastructure.discriminationtree.model.AbstractDTNode
 
Children<I,​D> - Interface in de.learnlib.algorithm.oml.ttt.dt
 
choose() - Method in class de.learnlib.datastructure.list.IntrusiveList
Retrieves any block from the list.
chooseMinimal() - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.TransList
 
CLASSIC_LSTAR - Static variable in class de.learnlib.algorithm.lstar.ce.ObservationTableCEXHandlers
 
ClassicLStarDFA<I> - Class in de.learnlib.algorithm.lstar.dfa
Implementation of the L* algorithm by Dana Angluin.
ClassicLStarDFA(Alphabet<I>, MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.algorithm.lstar.dfa.ClassicLStarDFA
 
ClassicLStarDFABuilder<I> - Class in de.learnlib.algorithm.lstar.dfa
 
ClassicLStarDFABuilder() - Constructor for class de.learnlib.algorithm.lstar.dfa.ClassicLStarDFABuilder
 
ClassicLStarMealy<I,​O> - Class in de.learnlib.algorithm.lstar.mealy
An implementation of the L*Mealy algorithm for inferring Mealy machines, as described by Oliver Niese in his Ph.D.
ClassicLStarMealy(Alphabet<I>, MembershipOracle<I, O>) - Constructor for class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealy
Constructor.
ClassicLStarMealy(Alphabet<I>, MembershipOracle<I, O>, ObservationTableCEXHandler<? super I, ? super O>, ClosingStrategy<? super I, ? super O>) - Constructor for class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealy
Constructor.
ClassicLStarMealy(Alphabet<I>, MembershipOracle<I, O>, List<Word<I>>, List<Word<I>>, ObservationTableCEXHandler<? super I, ? super O>, ClosingStrategy<? super I, ? super O>) - Constructor for class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealy
 
ClassicLStarMealyBuilder<I,​O> - Class in de.learnlib.algorithm.lstar.mealy
 
ClassicLStarMealyBuilder() - Constructor for class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder
 
ClassicLStarMoore<I,​O> - Class in de.learnlib.algorithm.lstar.moore
A MooreMachine-based specialization of the classic L* learner.
ClassicLStarMoore(Alphabet<I>, MembershipOracle<I, O>, List<Word<I>>, List<Word<I>>, ObservationTableCEXHandler<? super I, ? super O>, ClosingStrategy<? super I, ? super O>) - Constructor for class de.learnlib.algorithm.lstar.moore.ClassicLStarMoore
 
ClassicLStarMooreBuilder<I,​O> - Class in de.learnlib.algorithm.lstar.moore
 
ClassicLStarMooreBuilder() - Constructor for class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder
 
ClassicPrefixTransformAcex<I,​D> - Class in de.learnlib.acex
An abstract counterexample based on prefix transformations.
ClassicPrefixTransformAcex(Word<I>, int, MembershipOracle<I, D>, SuffixOutput<I, D>, Function<Word<I>, Word<I>>) - Constructor for class de.learnlib.acex.ClassicPrefixTransformAcex
 
ClassicPrefixTransformAcex(Word<I>, MembershipOracle<I, D>, SuffixOutput<I, D>, Function<Word<I>, Word<I>>) - Constructor for class de.learnlib.acex.ClassicPrefixTransformAcex
 
clazz() - Method in annotation type de.learnlib.buildtool.refinement.annotation.Generic
A referential representation of a type parameter.
clazz() - Method in annotation type de.learnlib.buildtool.refinement.annotation.Interface
A reference to the interface.
CLEAN - de.learnlib.example.mealy.ExampleCoffeeMachine.Input
 
clear() - Method in class de.learnlib.datastructure.discriminationtree.model.BooleanMap
 
clear() - Method in class de.learnlib.filter.reuse.tree.BoundedDeque
 
clearSystemStates() - Method in class de.learnlib.filter.reuse.tree.ReuseNode
 
clearTransitionObject(ADTTransition<I, O>) - Method in class de.learnlib.algorithm.adt.automaton.ADTState
 
clearTree() - Method in class de.learnlib.filter.reuse.tree.ReuseTree
Clears the whole tree which means the root will be reinitialized by a new ReuseNode and all existing system states will be disposed.
CLOSE_FIRST - Static variable in class de.learnlib.algorithm.lstar.closing.ClosingStrategies
Closing strategy that selects the first row from each equivalence class as representative.
CLOSE_LEX_MIN - Static variable in class de.learnlib.algorithm.lstar.closing.ClosingStrategies
Closing strategy that selects the lexicographically minimal row (wrt. its prefix) of each equivalence class as representative.
CLOSE_RANDOM - Static variable in class de.learnlib.algorithm.lstar.closing.ClosingStrategies
Closing strategy that randomly selects one representative row to close from each equivalence class.
CLOSE_SHORTEST - Static variable in class de.learnlib.algorithm.lstar.closing.ClosingStrategies
Closing strategy that selects the shortest row of each equivalence class (more precisely: a row which's prefix has minimal length in the respective class) as representative.
CloseRandomStrategy - Class in de.learnlib.algorithm.lstar.closing
 
CloseRandomStrategy() - Constructor for class de.learnlib.algorithm.lstar.closing.CloseRandomStrategy
 
CloseRandomStrategy(Random) - Constructor for class de.learnlib.algorithm.lstar.closing.CloseRandomStrategy
 
closeTransition(ADTState<I, O>, I) - Method in class de.learnlib.algorithm.adt.learner.ADTLearner
 
closeTransition(S, I) - Method in interface de.learnlib.algorithm.adt.api.PartialTransitionAnalyzer
Determine the successor/output of the transition in question (which is usually achieved by sifting the corresponding long-prefix through the ADT).
closeTransitions() - Method in class de.learnlib.algorithm.observationpack.vpa.AbstractVPALearner
 
closeTransitions() - Method in class de.learnlib.algorithm.ttt.base.AbstractTTTLearner
 
ClosingStrategies - Class in de.learnlib.algorithm.lstar.closing
Collection of predefined observation table closing strategies.
closingStrategy - Variable in class de.learnlib.algorithm.lstar.AbstractExtensibleAutomatonLStar
 
closingStrategy() - Static method in class de.learnlib.algorithm.lstar.AbstractExtensibleAutomatonLStar.BuilderDefaults
 
ClosingStrategy<I,​D> - Interface in de.learnlib.algorithm.lstar.closing
A closing strategy, determining how to proceed when an observation table needs to be closed.
collectADSNodes(ADTNode<S, I, O>) - Static method in class de.learnlib.algorithm.adt.util.ADTUtil
 
collectDirectSubADSs(ADTNode<S, I, O>) - Static method in class de.learnlib.algorithm.adt.util.ADTUtil
 
collectHypothesisStates(ADTNode<S, I, O>) - Static method in class de.learnlib.algorithm.adt.util.ADTUtil
 
collectLeaves(ADTNode<S, I, O>) - Static method in class de.learnlib.algorithm.adt.util.ADTUtil
 
collectResetNodes(ADTNode<S, I, O>) - Static method in class de.learnlib.algorithm.adt.util.ADTUtil
 
color - Variable in class de.learnlib.datastructure.pta.AbstractBlueFringePTAState
 
compare(Query<I, ?>, Query<I, ?>) - Method in class de.learnlib.filter.cache.ReverseLexCmp
 
compare(I, I) - Method in class de.learnlib.filter.cache.DynamicSymbolComparator
 
compareTo(S) - Method in class de.learnlib.datastructure.pta.AbstractBlueFringePTAState
 
completeConsistentTable(List<List<Row<I>>>, boolean) - Method in class de.learnlib.algorithm.lstar.AbstractLStar
Iteratedly checks for unclosedness and inconsistencies in the table, and fixes any occurrences thereof.
CompleteExplorationEQOracle<A extends Output<I,​D>,​I,​D> - Class in de.learnlib.oracle.equivalence
Implements an equivalence check by complete exploration up to a given depth, i.e., by testing all possible sequences of a certain length within a specified range.
CompleteExplorationEQOracle(MembershipOracle<I, D>, int) - Constructor for class de.learnlib.oracle.equivalence.CompleteExplorationEQOracle
Constructor.
CompleteExplorationEQOracle(MembershipOracle<I, D>, int, int) - Constructor for class de.learnlib.oracle.equivalence.CompleteExplorationEQOracle
Constructor.
CompleteExplorationEQOracle(MembershipOracle<I, D>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.CompleteExplorationEQOracle
Constructor.
compose(Mapper.AsynchronousMapper<? super AI, ? extends AO, ACI, CAO>, Mapper.AsynchronousMapper<? super ACI, ? extends CAO, ? extends CI, ? super CO>) - Static method in class de.learnlib.mapper.Mappers
 
compose(Mapper.SynchronousMapper<? super AI, ? extends AO, ACI, CAO>, Mapper.SynchronousMapper<? super ACI, ? extends CAO, ? extends CI, ? super CO>) - Static method in class de.learnlib.mapper.Mappers
 
compose(Mapper<? super AI, ? extends AO, ACI, CAO>, Mapper<? super ACI, ? extends CAO, ? extends CI, ? super CO>) - Static method in class de.learnlib.mapper.Mappers
 
compose(SULMapper<? super AI, ? extends AO, ACI, CAO>, SULMapper<? super ACI, ? extends CAO, ? extends CI, ? super CO>) - Static method in class de.learnlib.mapper.SULMappers
 
compute(MealyMachine<S, I, ?, O>, Alphabet<I>, Set<S>) - Method in interface de.learnlib.algorithm.adt.config.model.ADSCalculator
 
compute(MealyMachine<S, I, ?, O>, Alphabet<I>, Set<S>) - Method in class de.learnlib.algorithm.adt.config.model.calculator.AbstractCalculator
 
compute(MealyMachine<S, I, ?, O>, Alphabet<I>, Set<S>, PartialTransitionAnalyzer<S, I>) - Static method in class de.learnlib.algorithm.adt.ads.DefensiveADS
Compute an adaptive distinguishing sequence (as an ADT) for the given automaton and the given set of states.
compute(MealyMachine<S, I, ?, O>, Alphabet<I>, Set<S>, PartialTransitionAnalyzer<S, I>) - Method in class de.learnlib.algorithm.adt.config.model.calculator.BestEffortDefensiveCalculator
 
compute(MealyMachine<S, I, ?, O>, Alphabet<I>, Set<S>, PartialTransitionAnalyzer<S, I>) - Method in interface de.learnlib.algorithm.adt.config.model.DefensiveADSCalculator
 
computeEffect(int) - Method in class de.learnlib.acex.AbstractBaseCounterexample
 
computeEffect(int) - Method in class de.learnlib.acex.ClassicPrefixTransformAcex
 
computeEffect(int) - Method in class de.learnlib.acex.OutInconsPrefixTransformAcex
 
computeEffect(int) - Method in class de.learnlib.algorithm.kv.dfa.KearnsVaziraniDFA.KVAbstractCounterexample
 
computeEffect(int) - Method in class de.learnlib.algorithm.kv.mealy.KearnsVaziraniMealy.KVAbstractCounterexample
 
computeEffect(int) - Method in class de.learnlib.algorithm.observationpack.vpa.OPLearnerVPA.PrefixTransformAcex
 
computeEffectiveResets(ADTNode<S, I, O>) - Static method in class de.learnlib.algorithm.adt.util.ADTUtil
Computes how often reset nodes are encountered when traversing from the given node to the leaves of the induced subtree of the given node.
computeExtension(ADTHypothesis<I, O>, PartialTransitionAnalyzer<ADTState<I, O>, I>, ADTNode<ADTState<I, O>, I, O>) - Method in interface de.learnlib.algorithm.adt.api.ADTExtender
Compute the ADT whose root node should replace the root of the temporary splitter in the current ADT.
computeExtension(ADTHypothesis<I, O>, PartialTransitionAnalyzer<ADTState<I, O>, I>, ADTNode<ADTState<I, O>, I, O>) - Method in class de.learnlib.algorithm.adt.config.model.extender.DefaultExtender
 
computeHypothesisOutput(TTTState<I, D>, Word<I>) - Method in class de.learnlib.algorithm.ttt.base.AbstractTTTLearner
 
computeHypothesisOutput(TTTState<I, Boolean>, Word<I>) - Method in class de.learnlib.algorithm.ttt.dfa.TTTLearnerDFA
 
computeHypothesisOutput(TTTState<I, Word<O>>, Word<I>) - Method in class de.learnlib.algorithm.ttt.mealy.TTTLearnerMealy
 
computeHypothesisOutput(TTTState<I, Word<O>>, Word<I>) - Method in class de.learnlib.algorithm.ttt.moore.TTTLearnerMoore
 
computeHypothesisOutput(Word<I>) - Method in class de.learnlib.algorithm.ttt.vpa.TTTLearnerVPA
 
computeInternal(MealyMachine<S, I, ?, O>, Alphabet<I>, Set<S>) - Method in class de.learnlib.algorithm.adt.config.model.calculator.AbstractCalculator
 
computeInternal(MealyMachine<S, I, ?, O>, Alphabet<I>, Set<S>) - Method in class de.learnlib.algorithm.adt.config.model.calculator.BestEffortCalculator
 
computeInternal(MealyMachine<S, I, ?, O>, Alphabet<I>, Set<S>) - Method in class de.learnlib.algorithm.adt.config.model.calculator.MinLengthCalculator
 
computeInternal(MealyMachine<S, I, ?, O>, Alphabet<I>, Set<S>) - Method in class de.learnlib.algorithm.adt.config.model.calculator.MinSizeCalculator
 
computeModel() - Method in class de.learnlib.algorithm.ostia.OSTIA
 
computeModel() - Method in interface de.learnlib.algorithm.PassiveLearningAlgorithm
Computes the model given the previously added samples.
computeModel() - Method in class de.learnlib.algorithm.rpni.AbstractBlueFringeRPNI
 
computeModel() - Method in class de.learnlib.algorithm.rpni.BlueFringeMDLDFA
 
computeReplacements(MealyMachine<S, I, ?, O>, Alphabet<I>, ADT<S, I, O>) - Method in interface de.learnlib.algorithm.adt.api.SubtreeReplacer
Compute how certain nodes of the ADT should be replaced.
computeReplacements(MealyMachine<S, I, ?, O>, Alphabet<I>, ADT<S, I, O>) - Method in class de.learnlib.algorithm.adt.config.model.replacer.ExhaustiveReplacer
 
computeReplacements(MealyMachine<S, I, ?, O>, Alphabet<I>, ADT<S, I, O>) - Method in class de.learnlib.algorithm.adt.config.model.replacer.LevelOrderReplacer
 
computeReplacements(MealyMachine<S, I, ?, O>, Alphabet<I>, ADT<S, I, O>) - Method in class de.learnlib.algorithm.adt.config.model.replacer.SingleReplacer
 
CONFIG - Static variable in class de.learnlib.logging.Category
Marker for config-related properties.
constructLearner(Alphabet<I>, MembershipOracle<I, D>) - Method in interface de.learnlib.algorithm.LearnerConstructor
Construct the learner instance.
constructMachine() - Static method in class de.learnlib.example.dfa.ExampleAngluin
 
constructMachine() - Static method in class de.learnlib.example.dfa.ExamplePaulAndMary
Construct and return a machine representation of this example.
constructMachine() - Static method in class de.learnlib.example.dfa.ExampleTinyDFA
Construct and return a machine representation of this example.
constructMachine() - Static method in class de.learnlib.example.mealy.ExampleCoffeeMachine
 
constructMachine() - Static method in class de.learnlib.example.mealy.ExampleShahbazGroz
 
constructMachine() - Static method in class de.learnlib.example.mealy.ExampleStack
 
constructMachine() - Static method in class de.learnlib.example.mealy.ExampleTinyMealy
Construct and return a machine representation of this example.
constructMachine(int, int) - Static method in class de.learnlib.example.mealy.ExampleGrid
 
constructMachine(A) - Static method in class de.learnlib.example.dfa.ExampleAngluin
 
constructMachine(A) - Static method in class de.learnlib.example.dfa.ExamplePaulAndMary
 
constructMachine(A) - Static method in class de.learnlib.example.mealy.ExampleCoffeeMachine
Construct and return a machine representation of this example.
constructMachine(A) - Static method in class de.learnlib.example.mealy.ExampleShahbazGroz
Construct and return a machine representation of this example.
constructMachine(A) - Static method in class de.learnlib.example.mealy.ExampleStack
Construct and return a machine representation of this example.
constructMachine(A, int, int) - Static method in class de.learnlib.example.mealy.ExampleGrid
Construct and return a machine representation of this example.
containsKey(Object) - Method in class de.learnlib.datastructure.discriminationtree.model.BooleanMap
 
containsValue(Object) - Method in class de.learnlib.datastructure.discriminationtree.model.BooleanMap
 
ContextExecutableInput<O,​C> - Interface in de.learnlib.sul
A context executable input is an input that performs a specific action on a SUL itself, given a specific execution context.
ContextExecutableInputSUL<I extends ContextExecutableInput<? extends O,​? super C>,​O,​C> - Class in de.learnlib.driver
A SUL that executes ContextExecutableInput symbols.
ContextExecutableInputSUL(ContextHandler<C>) - Constructor for class de.learnlib.driver.ContextExecutableInputSUL
 
ContextHandler<C> - Interface in de.learnlib.sul
Facility for creating and disposing of contexts on which ContextExecutableInputs operate.
ContextPair<I> - Class in de.learnlib.algorithm.observationpack.vpa.hypothesis
 
ContextPair(Word<I>, Word<I>) - Constructor for class de.learnlib.algorithm.observationpack.vpa.hypothesis.ContextPair
 
continueQuery(Word<I>, S) - Method in interface de.learnlib.filter.reuse.ReuseCapableOracle
This method will be invoked whenever a system state s was found for reuse when a new membership query is processed.
copy() - Method in class de.learnlib.datastructure.pta.AbstractBasePTAState
 
copy() - Method in class de.learnlib.datastructure.pta.AbstractBlueFringePTAState
 
copy(ArrayStorage<TP>) - Method in class de.learnlib.datastructure.pta.AbstractBasePTAState
 
copyAbstract(UniversalDeterministicAutomaton<S1, CI, ?, SP, TP>, MutableDeterministic<S2, AI, ?, SP, TP>) - Method in class de.learnlib.algorithm.aaar.AbstractAAARLearner
 
Counter - Class in de.learnlib.filter.statistic
A simple counter.
Counter(String, String) - Constructor for class de.learnlib.filter.statistic.Counter
 
CounterCollection - Class in de.learnlib.filter.statistic
A collection of counters.
CounterCollection(Collection<Counter>) - Constructor for class de.learnlib.filter.statistic.CounterCollection
 
COUNTEREXAMPLE - Static variable in class de.learnlib.logging.Category
Marker for counterexample-related properties.
COUNTEREXAMPLE_PROFILE_KEY - Static variable in class de.learnlib.util.Experiment
 
CounterOracle<I,​D> - Class in de.learnlib.filter.statistic.oracle
A MembershipOracle that counts both the number of queries and the total number of symbols occurring in all those queries.
CounterOracle(MembershipOracle<I, D>) - Constructor for class de.learnlib.filter.statistic.oracle.CounterOracle
 
CounterSymbolQueryOracle<I,​O> - Class in de.learnlib.filter.statistic.oracle
A simple wrapper for counting the number of resets and symbol queries of a SymbolQueryOracle.
CounterSymbolQueryOracle(SymbolQueryOracle<I, O>) - Constructor for class de.learnlib.filter.statistic.oracle.CounterSymbolQueryOracle
 
create() - Method in class de.learnlib.algorithm.adt.learner.ADTLearnerBuilder
 
create() - Method in class de.learnlib.algorithm.dhc.mealy.MealyDHCBuilder
 
create() - Method in class de.learnlib.algorithm.kv.dfa.KearnsVaziraniDFABuilder
 
create() - Method in class de.learnlib.algorithm.kv.mealy.KearnsVaziraniMealyBuilder
 
create() - Method in class de.learnlib.algorithm.lstar.dfa.ClassicLStarDFABuilder
 
create() - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder
 
create() - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder
 
create() - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder
 
create() - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder
 
create() - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder
 
create() - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliDFABuilder
 
create() - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMealyBuilder
 
create() - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMooreBuilder
 
create() - Method in class de.learnlib.algorithm.nlstar.NLStarLearnerBuilder
 
create() - Method in class de.learnlib.algorithm.observationpack.dfa.OPLearnerDFABuilder
 
create() - Method in class de.learnlib.algorithm.observationpack.mealy.OPLearnerMealyBuilder
 
create() - Method in class de.learnlib.algorithm.observationpack.moore.OPLearnerMooreBuilder
 
create() - Method in class de.learnlib.algorithm.observationpack.vpa.OPLearnerVPABuilder
 
create() - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireDFABuilder
 
create() - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMealyBuilder
 
create() - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMooreBuilder
 
create() - Method in class de.learnlib.algorithm.ttt.dfa.TTTLearnerDFABuilder
 
create() - Method in class de.learnlib.algorithm.ttt.mealy.TTTLearnerMealyBuilder
 
create() - Method in class de.learnlib.algorithm.ttt.moore.TTTLearnerMooreBuilder
 
create() - Method in class de.learnlib.algorithm.ttt.vpa.TTTLearnerVPABuilder
 
create() - Method in class de.learnlib.oracle.parallelism.AbstractDynamicBatchProcessorBuilder
 
create() - Method in class de.learnlib.oracle.parallelism.AbstractStaticBatchProcessorBuilder
 
createAbstractionForRepresentative(CI) - Method in class de.learnlib.algorithm.aaar.abstraction.AbstractAbstractionTree
 
createAbstractionForRepresentative(CI) - Method in class de.learnlib.algorithm.aaar.abstraction.ExplicitAbstractionTree
 
createAbstractionForRepresentative(CI) - Method in class de.learnlib.algorithm.aaar.abstraction.GenericAbstractionTree
 
createBreadthFirstOracle(double) - Method in class de.learnlib.testsupport.AbstractBFOracleTest
 
createCache(Alphabet<I>, MembershipOracle<I, Boolean>) - Static method in class de.learnlib.filter.cache.dfa.DFACaches
Creates a cache oracle for a DFA learning setup.
createCache(Alphabet<I>, MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.filter.cache.mealy.MealyCaches
Creates a cache oracle for a Mealy machine learning setup.
createCache(Alphabet<I>, MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.filter.cache.moore.MooreCaches
Creates a cache oracle for a Moore machine learning setup.
createCache(Alphabet<I>, SUL<I, O>) - Static method in class de.learnlib.filter.cache.sul.SULCaches
Creates a SULCache for a given SUL.
createCache(Alphabet<I>, SUL<I, O>) - Static method in class de.learnlib.filter.cache.sul.ThreadSafeSULCaches
Wraps a given SUL in a thread-safe variant of a SULCache that supports forking iff the given SUL supports it.
createCache(Alphabet<I>, Collection<? extends MembershipOracle<I, Boolean>>) - Static method in class de.learnlib.filter.cache.dfa.ThreadSafeDFACaches
Enhances each oracle of a given collection with a shared, thread-safe cache for a DFA learning setup.
createCache(Alphabet<I>, Supplier<? extends MembershipOracle<I, Boolean>>) - Static method in class de.learnlib.filter.cache.dfa.ThreadSafeDFACaches
Enhances a given oracle supplier with a shared, thread-safe cache for a DFA learning setup.
createCacheConsistencyTest() - Method in class de.learnlib.filter.cache.dfa.DFACacheOracle
 
createCacheConsistencyTest() - Method in class de.learnlib.filter.cache.dfa.DFAHashCacheOracle
 
createCacheConsistencyTest() - Method in class de.learnlib.filter.cache.dfa.ThreadSafeDFACacheOracle
 
createCacheConsistencyTest() - Method in interface de.learnlib.filter.cache.LearningCache
Creates a cache consistency test.
createCacheConsistencyTest() - Method in class de.learnlib.filter.cache.mealy.MealyCacheOracle
 
createCacheConsistencyTest() - Method in class de.learnlib.filter.cache.mealy.SymbolQueryCache
 
createCacheConsistencyTest() - Method in class de.learnlib.filter.cache.mealy.ThreadSafeMealyCacheOracle
 
createCacheConsistencyTest() - Method in class de.learnlib.filter.cache.moore.MooreCacheOracle
 
createCacheConsistencyTest() - Method in class de.learnlib.filter.cache.moore.ThreadSafeMooreCacheOracle
 
createChild(D, TTTState<I, D>) - Method in class de.learnlib.algorithm.ttt.mealy.TTTDTNodeMealy
 
createChild(D, TTTState<I, D>) - Method in class de.learnlib.algorithm.ttt.moore.TTTDTNodeMoore
 
createChild(Boolean, D) - Method in class de.learnlib.datastructure.discriminationtree.BinaryDTNode
 
createChild(Boolean, HypLoc<I>) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.DTNode
 
createChild(Boolean, TTTState<I, Boolean>) - Method in class de.learnlib.algorithm.ttt.dfa.PrefixTTTLearnerDFA.ExtDTNode
 
createChild(Boolean, TTTState<I, Boolean>) - Method in class de.learnlib.algorithm.ttt.dfa.TTTDTNodeDFA
 
createChild(O, D) - Method in class de.learnlib.datastructure.discriminationtree.model.AbstractDTNode
 
createChild(O, D) - Method in class de.learnlib.datastructure.discriminationtree.MultiDTNode
 
createChildMap() - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.DTNode
 
createChildMap() - Method in class de.learnlib.algorithm.ttt.dfa.TTTDTNodeDFA
 
createChildMap() - Method in class de.learnlib.algorithm.ttt.mealy.TTTDTNodeMealy
 
createChildMap() - Method in class de.learnlib.algorithm.ttt.moore.TTTDTNodeMoore
 
createChildMap() - Method in class de.learnlib.datastructure.discriminationtree.BinaryDTNode
 
createChildMap() - Method in class de.learnlib.datastructure.discriminationtree.model.AbstractDTNode
 
createChildMap() - Method in class de.learnlib.datastructure.discriminationtree.MultiDTNode
 
createContext() - Method in class de.learnlib.driver.AbstractContextExecutableInputSUL
 
createContext() - Method in class de.learnlib.driver.ContextExecutableInputSUL
 
createContext() - Method in interface de.learnlib.sul.ContextHandler
 
createDAGCache(Alphabet<I>, Mapping<? super O, ? extends O>, Collection<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.mealy.ThreadSafeMealyCaches
Enhances each oracle of a given collection with a shared, thread-safe cache for a Mealy machine learning setup, using a DAG for internal cache organization.
createDAGCache(Alphabet<I>, Mapping<? super O, ? extends O>, Collection<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.moore.ThreadSafeMooreCaches
Enhances each oracle of a given collection with a shared, thread-safe cache for a Moore machine learning setup, using a DAG for internal cache organization.
createDAGCache(Alphabet<I>, Mapping<? super O, ? extends O>, Supplier<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.mealy.ThreadSafeMealyCaches
Enhances a given oracle supplier with a shared, thread-safe cache for a Mealy machine learning setup, using a DAG for internal cache organization.
createDAGCache(Alphabet<I>, Mapping<? super O, ? extends O>, Supplier<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.moore.ThreadSafeMooreCaches
Enhances a given oracle supplier with a shared, thread-safe cache for a Moore machine learning setup, using a DAG for internal cache organization.
createDAGCache(Alphabet<I>, MembershipOracle<I, Boolean>) - Static method in class de.learnlib.filter.cache.dfa.DFACaches
Creates a cache oracle for a DFA learning setup, using a DAG for internal cache organization.
createDAGCache(Alphabet<I>, MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.filter.cache.mealy.MealyCaches
Creates a cache oracle for a Mealy machine learning setup, using a DAG for internal cache organization.
createDAGCache(Alphabet<I>, MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.filter.cache.moore.MooreCaches
Creates a cache oracle for a Moore machine learning setup, using a DAG for internal cache organization.
createDAGCache(Alphabet<I>, SUL<I, O>) - Static method in class de.learnlib.filter.cache.sul.SULCaches
Creates a SULCache for a given SUL, using a DAG for internal cache organization.
createDAGCache(Alphabet<I>, SUL<I, O>) - Static method in class de.learnlib.filter.cache.sul.ThreadSafeSULCaches
Wraps a given SUL in a thread-safe variant of a SULCache that supports forking iff the given SUL supports it and uses a DAG for internal cache organization.
createDAGCache(Alphabet<I>, Collection<? extends MembershipOracle<I, Boolean>>) - Static method in class de.learnlib.filter.cache.dfa.ThreadSafeDFACaches
Enhances each oracle of a given collection with a shared, thread-safe cache for a DFA learning setup, using a DAG for internal cache organization.
createDAGCache(Alphabet<I>, Collection<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.mealy.ThreadSafeMealyCaches
Enhances each oracle of a given collection with a shared, thread-safe cache for a Mealy machine learning setup, using a DAG for internal cache organization.
createDAGCache(Alphabet<I>, Collection<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.moore.ThreadSafeMooreCaches
Enhances each oracle of a given collection with a shared, thread-safe cache for a Moore machine learning setup, using a DAG for internal cache organization.
createDAGCache(Alphabet<I>, Supplier<? extends MembershipOracle<I, Boolean>>) - Static method in class de.learnlib.filter.cache.dfa.ThreadSafeDFACaches
Enhances a given oracle supplier with a shared, thread-safe cache for a DFA learning setup, using a DAG for internal cache organization.
createDAGCache(Alphabet<I>, Supplier<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.mealy.ThreadSafeMealyCaches
Enhances a given oracle supplier with a shared, thread-safe cache for a Mealy machine learning setup, using a DAG for internal cache organization.
createDAGCache(Alphabet<I>, Supplier<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.moore.ThreadSafeMooreCaches
Enhances a given oracle supplier with a shared, thread-safe cache for a Moore machine learning setup, using a DAG for internal cache organization.
createDAGCache(Alphabet<I>, Mapping<? super O, ? extends O>, MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.filter.cache.mealy.MealyCaches
Creates a cache oracle for a Mealy machine learning setup, using a DAG for internal cache organization.
createDAGCache(Alphabet<I>, Mapping<? super O, ? extends O>, MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.filter.cache.moore.MooreCaches
Creates a cache oracle for a Moore machine learning setup, using a DAG for internal cache organization.
createDAGPCCache(Alphabet<I>, MembershipOracle<I, Boolean>) - Static method in class de.learnlib.filter.cache.dfa.DFACaches
Creates a prefix-closed cache oracle for a DFA learning setup, using a DAG for internal cache organization.
createDAGPCCache(Alphabet<I>, Collection<? extends MembershipOracle<I, Boolean>>) - Static method in class de.learnlib.filter.cache.dfa.ThreadSafeDFACaches
createDAGPCCache(Alphabet<I>, Supplier<? extends MembershipOracle<I, Boolean>>) - Static method in class de.learnlib.filter.cache.dfa.ThreadSafeDFACaches
createDFA(int, boolean, int) - Static method in class de.learnlib.example.dfa.ExampleKeylock
 
createDFAExamples() - Static method in class de.learnlib.example.LearningExamples
 
createDynamicTreeCache(Mapping<? super O, ? extends O>, Collection<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.mealy.ThreadSafeMealyCaches
Enhances each oracle of a given collection with a shared, thread-safe cache for a Mealy machine learning setup, using a dynamically growing tree for internal cache organization.
createDynamicTreeCache(Mapping<? super O, ? extends O>, Supplier<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.mealy.ThreadSafeMealyCaches
Enhances a given oracle supplier with a shared, thread-safe cache for a Mealy machine learning setup, using a dynamically growing tree for internal cache organization.
createDynamicTreeCache(MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.filter.cache.mealy.MealyCaches
Creates a cache oracle for a Mealy machine learning setup with a dynamic alphabet storage, using a tree for internal cache organization.
createDynamicTreeCache(Collection<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.mealy.ThreadSafeMealyCaches
Enhances each oracle of a given collection with a shared, thread-safe cache for a Mealy machine learning setup, using a dynamically growing tree for internal cache organization.
createDynamicTreeCache(Supplier<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.mealy.ThreadSafeMealyCaches
Enhances a given oracle supplier with a shared, thread-safe cache for a Mealy machine learning setup, using a dynamically growing tree for internal cache organization.
createDynamicTreeCache(Mapping<? super O, ? extends O>, MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.filter.cache.mealy.MealyCaches
Creates a cache oracle for a Mealy machine learning setup with a dynamic alphabet storage, using a tree for internal cache organization.
createExample() - Static method in class de.learnlib.example.dfa.ExampleAngluin
 
createExample() - Static method in class de.learnlib.example.dfa.ExamplePaulAndMary
 
createExample() - Static method in class de.learnlib.example.dfa.ExampleTinyDFA
 
createExample() - Static method in class de.learnlib.example.mealy.ExampleCoffeeMachine
 
createExample() - Static method in class de.learnlib.example.mealy.ExampleShahbazGroz
 
createExample() - Static method in class de.learnlib.example.mealy.ExampleStack
 
createExample() - Static method in class de.learnlib.example.mealy.ExampleTinyMealy
 
createExample() - Static method in class de.learnlib.example.sba.ExamplePalindrome
 
createExample() - Static method in class de.learnlib.example.spa.ExamplePalindrome
 
createExample() - Static method in class de.learnlib.example.spmm.ExamplePalindrome
 
createExample(int, boolean) - Static method in class de.learnlib.example.dfa.ExampleKeylock
 
createExample(int, boolean, int) - Static method in class de.learnlib.example.dfa.ExampleKeylock
 
createExample(int, int) - Static method in class de.learnlib.example.mealy.ExampleGrid
 
createExample(Random, int, int) - Static method in class de.learnlib.example.dfa.ExampleRandomDFA
 
createExample(Random, Alphabet<I>, int, Collection<Word<O>>, Collection<Word<O>>) - Static method in class de.learnlib.example.sst.ExampleRandomSST
 
createExample(Random, Alphabet<I>, int, O...) - Static method in class de.learnlib.example.mealy.ExampleRandomMealy
 
createExample(Random, Alphabet<I>, int, O...) - Static method in class de.learnlib.example.moore.ExampleRandomMoore
 
createExample(Random, Alphabet<I>, int, O, O...) - Static method in class de.learnlib.example.mealy.ExampleRandomStateLocalInputMealy
 
createExample(Random, ProceduralInputAlphabet<I>, int) - Static method in class de.learnlib.example.sba.ExampleRandomSBA
 
createExample(Random, ProceduralInputAlphabet<I>, int) - Static method in class de.learnlib.example.spa.ExampleRandomSPA
 
createExample(Random, ProceduralInputAlphabet<I>, ProceduralOutputAlphabet<O>, int) - Static method in class de.learnlib.example.spmm.ExampleRandomSPMM
 
createExample(Random, VPAlphabet<I>, int, double, double) - Static method in class de.learnlib.example.vpa.ExampleRandomOneSEVPA
 
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.
createHashCache(MembershipOracle<I, Boolean>) - Static method in class de.learnlib.filter.cache.dfa.DFACaches
Creates a cache oracle for a DFA learning setup, using a Map for internal cache organization.
createInitialState() - Method in class de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis
 
createInputAlphabet() - Static method in class de.learnlib.example.dfa.ExampleAngluin
 
createInputAlphabet() - Static method in class de.learnlib.example.dfa.ExamplePaulAndMary
 
createInputAlphabet() - Static method in class de.learnlib.example.mealy.ExampleCoffeeMachine
 
createInputAlphabet() - Static method in class de.learnlib.example.mealy.ExampleGrid
 
createInputAlphabet() - Static method in class de.learnlib.example.mealy.ExampleShahbazGroz
 
createInputAlphabet() - Static method in class de.learnlib.example.mealy.ExampleStack
 
createLocation(boolean, AbstractHypTrans<I>) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.OneSEVPAHypothesis
 
createLocation(AbstractHypTrans<I>) - Method in class de.learnlib.algorithm.observationpack.vpa.AbstractVPALearner
 
createMap() - Method in class de.learnlib.algorithm.ttt.base.AbstractTTTLearner
 
createMealyExamples() - Static method in class de.learnlib.example.LearningExamples
 
createMooreExamples() - Static method in class de.learnlib.example.LearningExamples
 
createNewNode(AbstractBaseDTNode<I, D>, D) - Method in class de.learnlib.algorithm.ttt.base.AbstractTTTLearner
 
createNewNode(AbstractBaseDTNode<I, Boolean>, Boolean) - Method in class de.learnlib.algorithm.ttt.dfa.TTTLearnerDFA
 
createNewNode(AbstractBaseDTNode<I, Word<O>>, Word<O>) - Method in class de.learnlib.algorithm.ttt.mealy.TTTLearnerMealy
 
createNewNode(AbstractBaseDTNode<I, Word<O>>, Word<O>) - Method in class de.learnlib.algorithm.ttt.moore.TTTLearnerMoore
 
createOneSEVPAExamples() - Static method in class de.learnlib.example.LearningExamples
 
createOpenTransition(ADTState<I, O>, I, ADTNode<ADTState<I, O>, I, O>) - Method in class de.learnlib.algorithm.adt.automaton.ADTHypothesis
 
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).
createSBAExamples() - Static method in class de.learnlib.example.LearningExamples
 
createSLIMealyExamples() - Static method in class de.learnlib.example.LearningExamples
 
createSPAExamples() - Static method in class de.learnlib.example.LearningExamples
 
createSPMMExamples() - Static method in class de.learnlib.example.LearningExamples
 
createSSTExamples() - Static method in class de.learnlib.example.LearningExamples
 
createState() - Method in class de.learnlib.datastructure.pta.AbstractBasePTAState
 
createState() - Method in class de.learnlib.datastructure.pta.BlueFringePTAState
 
createState(boolean, Row<I>) - Method in class de.learnlib.algorithm.lstar.AbstractAutomatonLStar
 
createState(HTransition<I, D, SP, TP>) - Method in class de.learnlib.algorithm.observationpack.AbstractOPLearner
 
createState(HTransition<I, O, SP, TP>) - Method in class de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis
 
createState(TTTTransition<I, D>) - Method in class de.learnlib.algorithm.ttt.base.AbstractTTTHypothesis
 
createState(Void) - Method in class de.learnlib.algorithm.adt.automaton.ADTHypothesis
 
createStateLocalInputCache(Alphabet<I>, StateLocalInputSUL<I, O>) - Static method in class de.learnlib.filter.cache.sul.SULCaches
createStateLocalInputCache(Alphabet<I>, StateLocalInputSUL<I, O>) - Static method in class de.learnlib.filter.cache.sul.ThreadSafeSULCaches
Wraps a given StateLocalInputSUL in a thread-safe variant of a StateLocalInputSULCache that supports forking iff the given SUL supports it.
createStateLocalInputTreeCache(Alphabet<I>, StateLocalInputSUL<I, O>) - Static method in class de.learnlib.filter.cache.sul.SULCaches
Creates a StateLocalInputSULCache for a given StateLocalInputSUL, using a tree for internal cache organization.
createStateLocalInputTreeCache(Alphabet<I>, StateLocalInputSUL<I, O>) - Static method in class de.learnlib.filter.cache.sul.ThreadSafeSULCaches
Wraps a given StateLocalInputSUL in a thread-safe variant of a StateLocalInputSULCache that supports forking iff the given SUL supports it and uses a tree for internal cache organization.
createSuccessor(int) - Method in class de.learnlib.datastructure.pta.AbstractBasePTAState
 
createSuccessor(int) - Method in class de.learnlib.datastructure.pta.AbstractBlueFringePTAState
 
createSymbolQueryCache(Alphabet<I>, SymbolQueryOracle<I, O>) - Static method in class de.learnlib.filter.cache.mealy.MealyCaches
Creates a cache oracle for a symbol-based Mealy machine learning setup, using a tree for internal cache organization.
createTransition(ADTState<I, O>, O) - Method in class de.learnlib.algorithm.adt.automaton.ADTHypothesis
 
createTransition(TTTState<I, D>, I) - Method in class de.learnlib.algorithm.ttt.base.AbstractTTTLearner
 
createTransition(TTTState<I, Word<O>>, I) - Method in class de.learnlib.algorithm.ttt.mealy.TTTLearnerMealy
 
createTreeCache(Alphabet<I>, Mapping<? super O, ? extends O>, Collection<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.mealy.ThreadSafeMealyCaches
Enhances each oracle of a given collection with a shared, thread-safe cache for a Mealy machine learning setup, using a tree for internal cache organization.
createTreeCache(Alphabet<I>, Mapping<? super O, ? extends O>, Collection<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.moore.ThreadSafeMooreCaches
Enhances each oracle of a given collection with a shared, thread-safe cache for a Moore machine learning setup, using a tree for internal cache organization.
createTreeCache(Alphabet<I>, Mapping<? super O, ? extends O>, Supplier<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.mealy.ThreadSafeMealyCaches
Enhances a given oracle supplier with a shared, thread-safe cache for a Mealy machine learning setup, using a tree for internal cache organization.
createTreeCache(Alphabet<I>, Mapping<? super O, ? extends O>, Supplier<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.moore.ThreadSafeMooreCaches
Enhances a given oracle supplier with a shared, thread-safe cache for a Moore machine learning setup, using a tree for internal cache organization.
createTreeCache(Alphabet<I>, MembershipOracle<I, Boolean>) - Static method in class de.learnlib.filter.cache.dfa.DFACaches
Creates a cache oracle for a DFA learning setup, using a tree for internal cache organization.
createTreeCache(Alphabet<I>, MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.filter.cache.mealy.MealyCaches
Creates a cache oracle for a Mealy machine learning setup, using a tree for internal cache organization.
createTreeCache(Alphabet<I>, MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.filter.cache.moore.MooreCaches
Creates a cache oracle for a Moore machine learning setup, using a tree for internal cache organization.
createTreeCache(Alphabet<I>, SUL<I, O>) - Static method in class de.learnlib.filter.cache.sul.SULCaches
Creates a SULCache for a given SUL, using a tree for internal cache organization.
createTreeCache(Alphabet<I>, SUL<I, O>) - Static method in class de.learnlib.filter.cache.sul.ThreadSafeSULCaches
Wraps a given SUL in a thread-safe variant of a SULCache that supports forking iff the given SUL supports it and uses a tree for internal cache organization.
createTreeCache(Alphabet<I>, Collection<? extends MembershipOracle<I, Boolean>>) - Static method in class de.learnlib.filter.cache.dfa.ThreadSafeDFACaches
Enhances each oracle of a given collection with a shared, thread-safe cache for a DFA learning setup, using a tree for internal cache organization.
createTreeCache(Alphabet<I>, Collection<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.mealy.ThreadSafeMealyCaches
Enhances each oracle of a given collection with a shared, thread-safe cache for a Mealy machine learning setup, using a tree for internal cache organization.
createTreeCache(Alphabet<I>, Collection<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.moore.ThreadSafeMooreCaches
Enhances each oracle of a given collection with a shared, thread-safe cache for a Moore machine learning setup, using a tree for internal cache organization.
createTreeCache(Alphabet<I>, Supplier<? extends MembershipOracle<I, Boolean>>) - Static method in class de.learnlib.filter.cache.dfa.ThreadSafeDFACaches
Enhances a given oracle supplier with a shared, thread-safe cache for a DFA learning setup, using a tree for internal cache organization.
createTreeCache(Alphabet<I>, Supplier<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.mealy.ThreadSafeMealyCaches
Enhances a given oracle supplier with a shared, thread-safe cache for a Mealy machine learning setup, using a tree for internal cache organization.
createTreeCache(Alphabet<I>, Supplier<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.moore.ThreadSafeMooreCaches
Enhances a given oracle supplier with a shared, thread-safe cache for a Moore machine learning setup, using a tree for internal cache organization.
createTreeCache(Alphabet<I>, Mapping<? super O, ? extends O>, MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.filter.cache.mealy.MealyCaches
Creates a cache oracle for a Mealy machine learning setup, using a tree for internal cache organization.
createTreeCache(Alphabet<I>, Mapping<? super O, ? extends O>, MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.filter.cache.moore.MooreCaches
Creates a cache oracle for a Moore machine learning setup, using a tree for internal cache organization.
createTreePCCache(Alphabet<I>, MembershipOracle<I, Boolean>) - Static method in class de.learnlib.filter.cache.dfa.DFACaches
Creates a prefix-closed cache oracle for a DFA learning setup, using a tree for internal cache organization.
createTreePCCache(Alphabet<I>, Collection<? extends MembershipOracle<I, Boolean>>) - Static method in class de.learnlib.filter.cache.dfa.ThreadSafeDFACaches
createTreePCCache(Alphabet<I>, Supplier<? extends MembershipOracle<I, Boolean>>) - Static method in class de.learnlib.filter.cache.dfa.ThreadSafeDFACaches
createWorklist() - Method in interface de.learnlib.datastructure.pta.config.ProcessingOrder
Creates a worklist for managing the set of blue states in the RPNI algorithm.
cumulated(String) - Static method in class de.learnlib.util.statistic.SimpleProfiler
Return the counter for the cumulated (passed) time of the given timer.
currentlyEnabledInputs() - Method in class de.learnlib.driver.simulator.StateLocalInputMealySimulatorSUL
 
currentlyEnabledInputs() - Method in class de.learnlib.filter.cache.sul.StateLocalInputSULCache
 
currentlyEnabledInputs() - Method in class de.learnlib.filter.statistic.sul.ResetCounterStateLocalInputSUL
 
currentlyEnabledInputs() - Method in class de.learnlib.filter.statistic.sul.SLICounterStateLocalInputSUL
 
currentlyEnabledInputs() - Method in class de.learnlib.filter.statistic.sul.SymbolCounterStateLocalInputSUL
 
currentlyEnabledInputs() - Method in interface de.learnlib.sul.StateLocalInputSUL
Returns the enabled symbols for the current state of the SUL.
currentTarget() - Method in class de.learnlib.algorithm.observationpack.hypothesis.HTransition
 

D

data - Variable in class de.learnlib.datastructure.discriminationtree.model.AbstractDTNode
 
DATASTRUCTURE - Static variable in class de.learnlib.logging.Category
Marker for data structure-related properties.
de.learnlib - package de.learnlib
 
de.learnlib.acex - package de.learnlib.acex
This package provides interfaces and classes for the abstract counterexample analysis framework described in the paper An Abstract Framework for Counterexample Analysis in Active Automata Learning by Malte Isberner and Bernhard Steffen.
de.learnlib.algorithm - package de.learnlib.algorithm
This package (including sub-packages) contains the basic interfaces and classes of learning algorithms of LearnLib.
de.learnlib.algorithm.aaar - package de.learnlib.algorithm.aaar
This package (and sub-packages) provides the implementation of the AAAR learning algorithm as described in the paper Automata Learning with Automated Alphabet Abstraction Refinement by Falk Howar, Bernhard Steffen, and Maik Merten.
de.learnlib.algorithm.aaar.abstraction - package de.learnlib.algorithm.aaar.abstraction
 
de.learnlib.algorithm.aaar.explicit - package de.learnlib.algorithm.aaar.explicit
 
de.learnlib.algorithm.aaar.generic - package de.learnlib.algorithm.aaar.generic
 
de.learnlib.algorithm.adt - package de.learnlib.algorithm.adt
This package (and sub-packages) provides the implementation of the ADT learning algorithm as described in the Master thesis Active Automata Learning with Adaptive Distinguishing Sequences by Markus Frohme.
de.learnlib.algorithm.adt.ads - package de.learnlib.algorithm.adt.ads
 
de.learnlib.algorithm.adt.adt - package de.learnlib.algorithm.adt.adt
 
de.learnlib.algorithm.adt.api - package de.learnlib.algorithm.adt.api
 
de.learnlib.algorithm.adt.automaton - package de.learnlib.algorithm.adt.automaton
 
de.learnlib.algorithm.adt.config - package de.learnlib.algorithm.adt.config
 
de.learnlib.algorithm.adt.config.model - package de.learnlib.algorithm.adt.config.model
 
de.learnlib.algorithm.adt.config.model.calculator - package de.learnlib.algorithm.adt.config.model.calculator
 
de.learnlib.algorithm.adt.config.model.extender - package de.learnlib.algorithm.adt.config.model.extender
 
de.learnlib.algorithm.adt.config.model.replacer - package de.learnlib.algorithm.adt.config.model.replacer
 
de.learnlib.algorithm.adt.learner - package de.learnlib.algorithm.adt.learner
 
de.learnlib.algorithm.adt.model - package de.learnlib.algorithm.adt.model
 
de.learnlib.algorithm.adt.util - package de.learnlib.algorithm.adt.util
 
de.learnlib.algorithm.dhc - package de.learnlib.algorithm.dhc
This package (and sub-packages) provides the implementation of the DHC learning algorithm as described in the paper Automata Learning with on-the-Fly Direct Hypothesis Construction by Maik Merten, Falk Howar, Bernhard Steffen, and Tiziana Margaria.
de.learnlib.algorithm.dhc.mealy - package de.learnlib.algorithm.dhc.mealy
 
de.learnlib.algorithm.kv - package de.learnlib.algorithm.kv
This package (and sub-packages) provides the implementation of the learning algorithm described in the book "An Introduction to Computational Learning Theory" by Michael Kearns and Umesh Vazirani.
de.learnlib.algorithm.kv.dfa - package de.learnlib.algorithm.kv.dfa
 
de.learnlib.algorithm.kv.mealy - package de.learnlib.algorithm.kv.mealy
 
de.learnlib.algorithm.lstar - package de.learnlib.algorithm.lstar
This package (and sub-packages) provides the implementation of the L* learning algorithm described in the paper Learning Regular Sets from Queries and Counterexamples by Dana Angluin as well as multiple variations thereof.
de.learnlib.algorithm.lstar.ce - package de.learnlib.algorithm.lstar.ce
 
de.learnlib.algorithm.lstar.closing - package de.learnlib.algorithm.lstar.closing
 
de.learnlib.algorithm.lstar.dfa - package de.learnlib.algorithm.lstar.dfa
 
de.learnlib.algorithm.lstar.mealy - package de.learnlib.algorithm.lstar.mealy
 
de.learnlib.algorithm.lstar.moore - package de.learnlib.algorithm.lstar.moore
 
de.learnlib.algorithm.malerpnueli - package de.learnlib.algorithm.malerpnueli
This package (and sub-packages) provides the implementation of the L* variation based on the paper On the Learnability of Infinitary Regular Sets by Oded Maler and Amir Pnueli.
de.learnlib.algorithm.nlstar - package de.learnlib.algorithm.nlstar
This package (and sub-packages) provides the implementation of the NL* learning algorithm as described in the paper Angluin-Style Learning of NFA by Benedikt Bollig, Peter Habermehl, Carsten Kern, and Martin Leucker.
de.learnlib.algorithm.observationpack - package de.learnlib.algorithm.observationpack
This package (and sub-packages) provides the implementation of the Observation-Pack learning algorithm as described in the PhD thesis Active learning of interface programs by Falk Howar.
de.learnlib.algorithm.observationpack.dfa - package de.learnlib.algorithm.observationpack.dfa
 
de.learnlib.algorithm.observationpack.hypothesis - package de.learnlib.algorithm.observationpack.hypothesis
 
de.learnlib.algorithm.observationpack.mealy - package de.learnlib.algorithm.observationpack.mealy
 
de.learnlib.algorithm.observationpack.moore - package de.learnlib.algorithm.observationpack.moore
 
de.learnlib.algorithm.observationpack.vpa - package de.learnlib.algorithm.observationpack.vpa
This package (and sub-packages) provides the implementation of the VPA adaption of the Observation-Pack learning algorithm as discussed in the PhD thesis Foundations of Active Automata Learning: An Algorithmic Perspective by Malte Isberner.
de.learnlib.algorithm.observationpack.vpa.hypothesis - package de.learnlib.algorithm.observationpack.vpa.hypothesis
 
de.learnlib.algorithm.oml - package de.learnlib.algorithm.oml
This package (and sub-packages) provides the implementations of various learning algorithms based on the "optimal MAT learning" concept as described in the paper Active Automata Learning as Black-Box Search and Lazy Partition Refinement by Falk Howar and Bernhard Steffen.
de.learnlib.algorithm.oml.lstar - package de.learnlib.algorithm.oml.lstar
 
de.learnlib.algorithm.oml.ttt - package de.learnlib.algorithm.oml.ttt
 
de.learnlib.algorithm.oml.ttt.dfa - package de.learnlib.algorithm.oml.ttt.dfa
 
de.learnlib.algorithm.oml.ttt.dt - package de.learnlib.algorithm.oml.ttt.dt
 
de.learnlib.algorithm.oml.ttt.mealy - package de.learnlib.algorithm.oml.ttt.mealy
 
de.learnlib.algorithm.oml.ttt.pt - package de.learnlib.algorithm.oml.ttt.pt
 
de.learnlib.algorithm.oml.ttt.st - package de.learnlib.algorithm.oml.ttt.st
 
de.learnlib.algorithm.ostia - package de.learnlib.algorithm.ostia
This package (and sub-packages) provides the implementation of the "onward subsequential transducer inference algorithm" (OSTIA) learning algorithm as presented in the paper Learning Subsequential Transducers for Pattern Recognition Interpretation Tasks by Jose Oncina, Pedro García, and Enrique Vidal.
de.learnlib.algorithm.procedural - package de.learnlib.algorithm.procedural
This package (and sub-packages) provides the implementations of various learning algorithms for systems of procedural automata such as the ones described in the papers Compositional learning of mutually recursive procedural systems and From Languages to Behaviors and Back by Markus Frohme and Bernhard Steffen.
de.learnlib.algorithm.procedural.adapter.dfa - package de.learnlib.algorithm.procedural.adapter.dfa
 
de.learnlib.algorithm.procedural.adapter.mealy - package de.learnlib.algorithm.procedural.adapter.mealy
 
de.learnlib.algorithm.procedural.sba - package de.learnlib.algorithm.procedural.sba
 
de.learnlib.algorithm.procedural.sba.manager - package de.learnlib.algorithm.procedural.sba.manager
 
de.learnlib.algorithm.procedural.spa - package de.learnlib.algorithm.procedural.spa
 
de.learnlib.algorithm.procedural.spa.manager - package de.learnlib.algorithm.procedural.spa.manager
 
de.learnlib.algorithm.procedural.spmm - package de.learnlib.algorithm.procedural.spmm
 
de.learnlib.algorithm.procedural.spmm.manager - package de.learnlib.algorithm.procedural.spmm.manager
 
de.learnlib.algorithm.rivestschapire - package de.learnlib.algorithm.rivestschapire
This package (and sub-packages) provides the implementation of the L* variation based on the paper Inference of finite automata using homing sequences by Ronald L. Rivest and Robert E. Schapire.
de.learnlib.algorithm.rpni - package de.learnlib.algorithm.rpni
This package (and sub-packages) provides the implementation of (a blue-fringe version of) the "regular positive negative inference" (RPNI) learning algorithm as presented in the paper Inferring regular languages in polynomial update time by Jose Oncina and Pedro García.
de.learnlib.algorithm.ttt - package de.learnlib.algorithm.ttt
This package (and sub-packages) provides the implementation of the TTT algorithm as described in the paper The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning by Malte Isberner, Falk Howar, and Bernhard Steffen.
de.learnlib.algorithm.ttt.base - package de.learnlib.algorithm.ttt.base
 
de.learnlib.algorithm.ttt.dfa - package de.learnlib.algorithm.ttt.dfa
 
de.learnlib.algorithm.ttt.mealy - package de.learnlib.algorithm.ttt.mealy
 
de.learnlib.algorithm.ttt.moore - package de.learnlib.algorithm.ttt.moore
 
de.learnlib.algorithm.ttt.vpa - package de.learnlib.algorithm.ttt.vpa
This package (and sub-packages) provides the implementation of the VPA adaption of the TTT learning algorithm as presented in the PhD thesis Foundations of Active Automata Learning: An Algorithmic Perspective by Malte Isberner.
de.learnlib.buildtool - package de.learnlib.buildtool
This package (including sub-packages) contains utility code for the build process of LearnLib.
de.learnlib.buildtool.refinement.annotation - package de.learnlib.buildtool.refinement.annotation
 
de.learnlib.buildtool.refinement.processor - package de.learnlib.buildtool.refinement.processor
 
de.learnlib.counterexample - package de.learnlib.counterexample
This package contains a collection of standard algorithms for handling counterexamples in automata learning.
de.learnlib.datastructure.discriminationtree - package de.learnlib.datastructure.discriminationtree
 
de.learnlib.datastructure.discriminationtree.iterators - package de.learnlib.datastructure.discriminationtree.iterators
 
de.learnlib.datastructure.discriminationtree.model - package de.learnlib.datastructure.discriminationtree.model
 
de.learnlib.datastructure.list - package de.learnlib.datastructure.list
 
de.learnlib.datastructure.observationtable - package de.learnlib.datastructure.observationtable
 
de.learnlib.datastructure.observationtable.reader - package de.learnlib.datastructure.observationtable.reader
 
de.learnlib.datastructure.observationtable.writer - package de.learnlib.datastructure.observationtable.writer
 
de.learnlib.datastructure.pta - package de.learnlib.datastructure.pta
 
de.learnlib.datastructure.pta.config - package de.learnlib.datastructure.pta.config
 
de.learnlib.datastructure.pta.wrapper - package de.learnlib.datastructure.pta.wrapper
 
de.learnlib.driver - package de.learnlib.driver
 
de.learnlib.driver.reflect - package de.learnlib.driver.reflect
 
de.learnlib.driver.simulator - package de.learnlib.driver.simulator
 
de.learnlib.example - package de.learnlib.example
This package (including sub-packages) contains example models of various types used in integration-tests.
de.learnlib.example.dfa - package de.learnlib.example.dfa
 
de.learnlib.example.mealy - package de.learnlib.example.mealy
 
de.learnlib.example.moore - package de.learnlib.example.moore
 
de.learnlib.example.sba - package de.learnlib.example.sba
 
de.learnlib.example.spa - package de.learnlib.example.spa
 
de.learnlib.example.spmm - package de.learnlib.example.spmm
 
de.learnlib.example.sst - package de.learnlib.example.sst
 
de.learnlib.example.vpa - package de.learnlib.example.vpa
 
de.learnlib.exception - package de.learnlib.exception
 
de.learnlib.filter.cache - package de.learnlib.filter.cache
 
de.learnlib.filter.cache.dfa - package de.learnlib.filter.cache.dfa
 
de.learnlib.filter.cache.mealy - package de.learnlib.filter.cache.mealy
 
de.learnlib.filter.cache.moore - package de.learnlib.filter.cache.moore
 
de.learnlib.filter.cache.sul - package de.learnlib.filter.cache.sul
 
de.learnlib.filter.reuse - package de.learnlib.filter.reuse
 
de.learnlib.filter.reuse.tree - package de.learnlib.filter.reuse.tree
 
de.learnlib.filter.statistic - package de.learnlib.filter.statistic
 
de.learnlib.filter.statistic.learner - package de.learnlib.filter.statistic.learner
 
de.learnlib.filter.statistic.oracle - package de.learnlib.filter.statistic.oracle
 
de.learnlib.filter.statistic.sul - package de.learnlib.filter.statistic.sul
 
de.learnlib.logging - package de.learnlib.logging
 
de.learnlib.mapper - package de.learnlib.mapper
 
de.learnlib.oracle - package de.learnlib.oracle
This package (including sub-packages) contains the basic interfaces and classes for describing and implementing various types of oracles used throughout LearnLib.
de.learnlib.oracle.emptiness - package de.learnlib.oracle.emptiness
 
de.learnlib.oracle.equivalence - package de.learnlib.oracle.equivalence
 
de.learnlib.oracle.equivalence.mealy - package de.learnlib.oracle.equivalence.mealy
 
de.learnlib.oracle.equivalence.sba - package de.learnlib.oracle.equivalence.sba
 
de.learnlib.oracle.equivalence.spa - package de.learnlib.oracle.equivalence.spa
 
de.learnlib.oracle.equivalence.spmm - package de.learnlib.oracle.equivalence.spmm
 
de.learnlib.oracle.equivalence.vpa - package de.learnlib.oracle.equivalence.vpa
 
de.learnlib.oracle.membership - package de.learnlib.oracle.membership
 
de.learnlib.oracle.parallelism - package de.learnlib.oracle.parallelism
 
de.learnlib.oracle.property - package de.learnlib.oracle.property
 
de.learnlib.query - package de.learnlib.query
 
de.learnlib.setting - package de.learnlib.setting
 
de.learnlib.setting.sources - package de.learnlib.setting.sources
 
de.learnlib.statistic - package de.learnlib.statistic
 
de.learnlib.sul - package de.learnlib.sul
This package (and related packages) contains interfaces and classes for formalizing access to systems under learning (SULs).
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
 
de.learnlib.util - package de.learnlib.util
This package (and sub-packages) provide general utilities used throughout LearnLib.
de.learnlib.util.mealy - package de.learnlib.util.mealy
 
de.learnlib.util.moore - package de.learnlib.util.moore
 
de.learnlib.util.nfa - package de.learnlib.util.nfa
 
de.learnlib.util.statistic - package de.learnlib.util.statistic
 
declareFinal(DTNode<I>) - Method in class de.learnlib.algorithm.ttt.vpa.TTTLearnerVPA
 
declareFinal(AbstractBaseDTNode<I, D>) - Method in class de.learnlib.algorithm.ttt.base.AbstractTTTLearner
 
deepCopies() - Method in class de.learnlib.filter.statistic.sul.ResetCounterObservableSUL
 
deepCopies() - Method in class de.learnlib.filter.statistic.sul.SymbolCounterObservableSUL
 
deepCopies() - Method in interface de.learnlib.sul.ObservableSUL
Returns whether each state retrieved with ObservableSUL.getState() is a deep copy.
DEFAULT_AUTOMATON_SIZE - Static variable in class de.learnlib.testsupport.AbstractGrowingAlphabetTest
 
DEFAULT_SPLITTER - Static variable in class de.learnlib.algorithm.adt.config.LeafSplitters
 
DefaultATManager<I> - Class in de.learnlib.algorithm.procedural.sba.manager
A default ATManager that only extracts initial access sequences and terminating sequences from positive counterexamples.
DefaultATManager<I,​O> - Class in de.learnlib.algorithm.procedural.spmm.manager
A default ATManager that only extracts initial access sequences and terminating sequences from positive counterexamples.
DefaultATManager(ProceduralInputAlphabet<I>) - Constructor for class de.learnlib.algorithm.procedural.sba.manager.DefaultATManager
 
DefaultATManager(ProceduralInputAlphabet<I>, O) - Constructor for class de.learnlib.algorithm.procedural.spmm.manager.DefaultATManager
 
DefaultATRManager<I> - Class in de.learnlib.algorithm.procedural.spa.manager
A default ATRManager that only extracts initial access sequences, terminating sequences, and return sequences from positive counterexamples.
DefaultATRManager(ProceduralInputAlphabet<I>) - Constructor for class de.learnlib.algorithm.procedural.spa.manager.DefaultATRManager
 
DefaultDFALearningExample(A) - Constructor for class de.learnlib.example.DefaultLearningExample.DefaultDFALearningExample
 
DefaultDFALearningExample(Alphabet<I>, DFA<?, I>) - Constructor for class de.learnlib.example.DefaultLearningExample.DefaultDFALearningExample
 
DefaultDFAPassiveLearningExample(Collection<DefaultQuery<I, Boolean>>) - Constructor for class de.learnlib.example.DefaultPassiveLearningExample.DefaultDFAPassiveLearningExample
 
DefaultExtender - Class in de.learnlib.algorithm.adt.config.model.extender
 
DefaultExtender(DefensiveADSCalculator) - Constructor for class de.learnlib.algorithm.adt.config.model.extender.DefaultExtender
 
DefaultLearningExample<I,​D,​A extends UniversalAutomaton<?,​I,​?,​?,​?> & SuffixOutput<I,​D>> - Class in de.learnlib.example
A learning example that directly stores the alphabet and the reference automaton in its fields.
DefaultLearningExample(Alphabet<I>, A) - Constructor for class de.learnlib.example.DefaultLearningExample
 
DefaultLearningExample.DefaultDFALearningExample<I> - Class in de.learnlib.example
 
DefaultLearningExample.DefaultMealyLearningExample<I,​D> - Class in de.learnlib.example
 
DefaultLearningExample.DefaultMooreLearningExample<I,​D> - Class in de.learnlib.example
 
DefaultLearningExample.DefaultOneSEVPALearningExample<I> - Class in de.learnlib.example
 
DefaultLearningExample.DefaultSBALearningExample<I> - Class in de.learnlib.example
 
DefaultLearningExample.DefaultSPALearningExample<I> - Class in de.learnlib.example
 
DefaultLearningExample.DefaultSPMMLearningExample<I,​O> - Class in de.learnlib.example
 
DefaultLearningExample.DefaultSSTLearningExample<I,​D> - Class in de.learnlib.example
 
DefaultMealyLearningExample(A) - Constructor for class de.learnlib.example.DefaultLearningExample.DefaultMealyLearningExample
 
DefaultMealyLearningExample(Alphabet<I>, MealyMachine<?, I, ?, D>) - Constructor for class de.learnlib.example.DefaultLearningExample.DefaultMealyLearningExample
 
DefaultMealyPassiveLearningExample(Collection<DefaultQuery<I, Word<O>>>) - Constructor for class de.learnlib.example.DefaultPassiveLearningExample.DefaultMealyPassiveLearningExample
 
DefaultMooreLearningExample(A) - Constructor for class de.learnlib.example.DefaultLearningExample.DefaultMooreLearningExample
 
DefaultMooreLearningExample(Alphabet<I>, MooreMachine<?, I, ?, D>) - Constructor for class de.learnlib.example.DefaultLearningExample.DefaultMooreLearningExample
 
DefaultMoorePassiveLearningExample(Collection<DefaultQuery<I, Word<O>>>) - Constructor for class de.learnlib.example.DefaultPassiveLearningExample.DefaultMoorePassiveLearningExample
 
DefaultOneSEVPALearningExample(VPAlphabet<I>, OneSEVPA<?, I>) - Constructor for class de.learnlib.example.DefaultLearningExample.DefaultOneSEVPALearningExample
 
DefaultPassiveLearningExample<I,​D> - Class in de.learnlib.example
Default implementation for a passive learning example.
DefaultPassiveLearningExample(Collection<DefaultQuery<I, D>>) - Constructor for class de.learnlib.example.DefaultPassiveLearningExample
 
DefaultPassiveLearningExample.DefaultDFAPassiveLearningExample<I> - Class in de.learnlib.example
 
DefaultPassiveLearningExample.DefaultMealyPassiveLearningExample<I,​O> - Class in de.learnlib.example
 
DefaultPassiveLearningExample.DefaultMoorePassiveLearningExample<I,​O> - Class in de.learnlib.example
 
DefaultPassiveLearningExample.DefaultSSTPassiveLearningExample<I,​O> - Class in de.learnlib.example
 
DefaultProcessingOrders - Enum in de.learnlib.datastructure.pta.config
Standard processing orders that can be used for the RPNI algorithm.
DefaultQuery<I,​D> - Class in de.learnlib.query
A query is a container for tests a learning algorithms performs, containing the actual test and the corresponding result.
DefaultQuery(Query<I, ?>) - Constructor for class de.learnlib.query.DefaultQuery
 
DefaultQuery(Word<I>) - Constructor for class de.learnlib.query.DefaultQuery
 
DefaultQuery(Word<I>, D) - Constructor for class de.learnlib.query.DefaultQuery
 
DefaultQuery(Word<I>, Word<I>) - Constructor for class de.learnlib.query.DefaultQuery
 
DefaultQuery(Word<I>, Word<I>, D) - Constructor for class de.learnlib.query.DefaultQuery
 
DefaultSBALearningExample(SBA<?, I>) - Constructor for class de.learnlib.example.DefaultLearningExample.DefaultSBALearningExample
 
DefaultSPALearningExample(SPA<?, I>) - Constructor for class de.learnlib.example.DefaultLearningExample.DefaultSPALearningExample
 
DefaultSPMMLearningExample(SPMM<?, I, ?, O>) - Constructor for class de.learnlib.example.DefaultLearningExample.DefaultSPMMLearningExample
 
DefaultSSTLearningExample(A) - Constructor for class de.learnlib.example.DefaultLearningExample.DefaultSSTLearningExample
 
DefaultSSTLearningExample(Alphabet<I>, SubsequentialTransducer<?, I, ?, D>) - Constructor for class de.learnlib.example.DefaultLearningExample.DefaultSSTLearningExample
 
DefaultSSTPassiveLearningExample(Collection<DefaultQuery<I, Word<O>>>) - Constructor for class de.learnlib.example.DefaultPassiveLearningExample.DefaultSSTPassiveLearningExample
 
DefensiveADS<S,​I,​O> - Class in de.learnlib.algorithm.adt.ads
A variant of the backtracking ADS search (see ADS, BacktrackingSearch), that works on partially defined automata.
DefensiveADSCalculator - Interface in de.learnlib.algorithm.adt.config.model
 
depth - Variable in class de.learnlib.datastructure.discriminationtree.model.AbstractDTNode
 
deriveAcex(OutputInconsistency<I, D>) - Method in class de.learnlib.algorithm.ttt.base.AbstractTTTLearner
 
deriveAcex(OutputInconsistency<I, Boolean>) - Method in class de.learnlib.algorithm.ttt.dfa.TTTLearnerDFA
 
deriveAcex(OutputInconsistency<I, Word<O>>) - Method in class de.learnlib.algorithm.ttt.mealy.TTTLearnerMealy
 
deriveAcex(OutputInconsistency<I, Word<O>>) - Method in class de.learnlib.algorithm.ttt.moore.TTTLearnerMoore
 
determinize(State<HypLoc<I>>, Word<I>) - Method in class de.learnlib.algorithm.ttt.vpa.TTTLearnerVPA
 
DFABenchmarks - Class in de.learnlib.example.dfa
 
DFABFEmptinessOracle<I> - Class in de.learnlib.oracle.emptiness
This is an auto-generated refinement.
DFABFEmptinessOracle(MembershipOracle.DFAMembershipOracle<I>, double) - Constructor for class de.learnlib.oracle.emptiness.DFABFEmptinessOracle
This is an auto-generated constructor.
DFABFInclusionOracle<I> - Class in de.learnlib.oracle.equivalence
This is an auto-generated refinement.
DFABFInclusionOracle(MembershipOracle.DFAMembershipOracle<I>, double) - Constructor for class de.learnlib.oracle.equivalence.DFABFInclusionOracle
This is an auto-generated constructor.
DFACacheOracle<I> - Class in de.learnlib.filter.cache.dfa
DFA cache.
DFACacheOracle.DFACacheOracleState<I> - Class in de.learnlib.filter.cache.dfa
 
DFACaches - Class in de.learnlib.filter.cache.dfa
A factory for creating caches for DFA-based MembershipOracles.
DFACExFirstOracle<I> - Class in de.learnlib.oracle.equivalence
This is an auto-generated refinement.
DFACExFirstOracle() - Constructor for class de.learnlib.oracle.equivalence.DFACExFirstOracle
This is an auto-generated constructor.
DFACExFirstOracle(PropertyOracle.DFAPropertyOracle<I, ?>) - Constructor for class de.learnlib.oracle.equivalence.DFACExFirstOracle
This is an auto-generated constructor.
DFACExFirstOracle(Collection<? extends PropertyOracle.DFAPropertyOracle<I, ?>>) - Constructor for class de.learnlib.oracle.equivalence.DFACExFirstOracle
This is an auto-generated constructor.
DFACompleteExplorationEQOracle<I> - Class in de.learnlib.oracle.equivalence
This is an auto-generated refinement.
DFACompleteExplorationEQOracle(MembershipOracle.DFAMembershipOracle<I>, int) - Constructor for class de.learnlib.oracle.equivalence.DFACompleteExplorationEQOracle
This is an auto-generated constructor.
DFACompleteExplorationEQOracle(MembershipOracle.DFAMembershipOracle<I>, int, int) - Constructor for class de.learnlib.oracle.equivalence.DFACompleteExplorationEQOracle
This is an auto-generated constructor.
DFACompleteExplorationEQOracle(MembershipOracle.DFAMembershipOracle<I>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.DFACompleteExplorationEQOracle
This is an auto-generated constructor.
DFACounterOracle<I> - Class in de.learnlib.filter.statistic.oracle
This is an auto-generated refinement.
DFACounterOracle(MembershipOracle.DFAMembershipOracle<I>) - Constructor for class de.learnlib.filter.statistic.oracle.DFACounterOracle
This is an auto-generated constructor.
DFADisproveFirstOracle<I> - Class in de.learnlib.oracle.equivalence
This is an auto-generated refinement.
DFADisproveFirstOracle() - Constructor for class de.learnlib.oracle.equivalence.DFADisproveFirstOracle
This is an auto-generated constructor.
DFADisproveFirstOracle(PropertyOracle.DFAPropertyOracle<I, ?>) - Constructor for class de.learnlib.oracle.equivalence.DFADisproveFirstOracle
This is an auto-generated constructor.
DFADisproveFirstOracle(Collection<? extends PropertyOracle.DFAPropertyOracle<I, ?>>) - Constructor for class de.learnlib.oracle.equivalence.DFADisproveFirstOracle
This is an auto-generated constructor.
DFAEQOracleChain<I> - Class in de.learnlib.oracle.equivalence
This is an auto-generated refinement.
DFAEQOracleChain(EquivalenceOracle.DFAEquivalenceOracle<I>...) - Constructor for class de.learnlib.oracle.equivalence.DFAEQOracleChain
This is an auto-generated constructor.
DFAEQOracleChain(List<? extends EquivalenceOracle.DFAEquivalenceOracle<I>>) - Constructor for class de.learnlib.oracle.equivalence.DFAEQOracleChain
This is an auto-generated constructor.
DFAExperiment(LearningAlgorithm<? extends DFA<?, I>, I, Boolean>, EquivalenceOracle<? super DFA<?, I>, I, Boolean>, Alphabet<I>) - Constructor for class de.learnlib.util.Experiment.DFAExperiment
 
DFAFinitePropertyOracle<I,​P> - Class in de.learnlib.oracle.property
A property oracle for DFAs where it is fine to only check finite words from the model checker.
DFAFinitePropertyOracle(P, InclusionOracle.DFAInclusionOracle<I>, EmptinessOracle.DFAEmptinessOracle<I>, ModelChecker.DFAModelChecker<I, P, DFA<?, I>>) - Constructor for class de.learnlib.oracle.property.DFAFinitePropertyOracle
 
DFAHashCacheOracle<I> - Class in de.learnlib.filter.cache.dfa
A LearningCacheOracle.DFALearningCacheOracle that uses a Map for internal cache organization.
DFAHashCacheOracle.DFAHashCacheOracleState<I> - Class in de.learnlib.filter.cache.dfa
 
DFAHashCacheOracleState(Map<Word<I>, Boolean>) - Constructor for class de.learnlib.filter.cache.dfa.DFAHashCacheOracle.DFAHashCacheOracleState
 
DFAHistogramOracle<I> - Class in de.learnlib.filter.statistic.oracle
This is an auto-generated refinement.
DFAHistogramOracle(MembershipOracle.DFAMembershipOracle<I>, String) - Constructor for class de.learnlib.filter.statistic.oracle.DFAHistogramOracle
This is an auto-generated constructor.
DFAIncrementalWMethodEQOracle<I> - Class in de.learnlib.oracle.equivalence
This is an auto-generated refinement.
DFAIncrementalWMethodEQOracle(MembershipOracle.DFAMembershipOracle<I>, Alphabet<I>) - Constructor for class de.learnlib.oracle.equivalence.DFAIncrementalWMethodEQOracle
This is an auto-generated constructor.
DFAIncrementalWMethodEQOracle(MembershipOracle.DFAMembershipOracle<I>, Alphabet<I>, int) - Constructor for class de.learnlib.oracle.equivalence.DFAIncrementalWMethodEQOracle
This is an auto-generated constructor.
DFAIncrementalWMethodEQOracle(MembershipOracle.DFAMembershipOracle<I>, Alphabet<I>, int, int) - Constructor for class de.learnlib.oracle.equivalence.DFAIncrementalWMethodEQOracle
This is an auto-generated constructor.
DFALassoEmptinessOracleImpl<S,​I> - Class in de.learnlib.oracle.emptiness
This is an auto-generated refinement.
DFALassoEmptinessOracleImpl(OmegaMembershipOracle.DFAOmegaMembershipOracle<S, I>) - Constructor for class de.learnlib.oracle.emptiness.DFALassoEmptinessOracleImpl
This is an auto-generated constructor.
DFALassoPropertyOracle<I,​P> - Class in de.learnlib.oracle.property
A property oracle for DFAs that can check lassos from the model checker.
DFALassoPropertyOracle(P, InclusionOracle.DFAInclusionOracle<I>, LassoEmptinessOracle.DFALassoEmptinessOracle<I>, ModelCheckerLasso.DFAModelCheckerLasso<I, P>) - Constructor for class de.learnlib.oracle.property.DFALassoPropertyOracle
 
DFALearnerVariantListImpl() - Constructor for class de.learnlib.testsupport.it.learner.LearnerVariantListImpl.DFALearnerVariantListImpl
 
DFALoggingPropertyOracle(PropertyOracle.DFAPropertyOracle<I, P>) - Constructor for class de.learnlib.oracle.property.LoggingPropertyOracle.DFALoggingPropertyOracle
 
DFAPassiveLearnerVariantListImpl() - Constructor for class de.learnlib.testsupport.it.learner.PassiveLearnerVariantListImpl.DFAPassiveLearnerVariantListImpl
 
DFAPropertyOracleChain<I,​P> - Class in de.learnlib.oracle.property
This is an auto-generated refinement.
DFAPropertyOracleChain(PropertyOracle.DFAPropertyOracle<I, P>...) - Constructor for class de.learnlib.oracle.property.DFAPropertyOracleChain
This is an auto-generated constructor.
DFAPropertyOracleChain(Collection<? extends PropertyOracle.DFAPropertyOracle<I, P>>) - Constructor for class de.learnlib.oracle.property.DFAPropertyOracleChain
This is an auto-generated constructor.
DFARandomWMethodEQOracle<I> - Class in de.learnlib.oracle.equivalence
This is an auto-generated refinement.
DFARandomWMethodEQOracle(MembershipOracle.DFAMembershipOracle<I>, int, int) - Constructor for class de.learnlib.oracle.equivalence.DFARandomWMethodEQOracle
This is an auto-generated constructor.
DFARandomWMethodEQOracle(MembershipOracle.DFAMembershipOracle<I>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.DFARandomWMethodEQOracle
This is an auto-generated constructor.
DFARandomWMethodEQOracle(MembershipOracle.DFAMembershipOracle<I>, int, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.DFARandomWMethodEQOracle
This is an auto-generated constructor.
DFARandomWMethodEQOracle(MembershipOracle.DFAMembershipOracle<I>, int, int, int, Random, int) - Constructor for class de.learnlib.oracle.equivalence.DFARandomWMethodEQOracle
This is an auto-generated constructor.
DFARandomWordsEQOracle<I> - Class in de.learnlib.oracle.equivalence
This is an auto-generated refinement.
DFARandomWordsEQOracle(MembershipOracle.DFAMembershipOracle<I>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.DFARandomWordsEQOracle
This is an auto-generated constructor.
DFARandomWordsEQOracle(MembershipOracle.DFAMembershipOracle<I>, int, int, int, Random) - Constructor for class de.learnlib.oracle.equivalence.DFARandomWordsEQOracle
This is an auto-generated constructor.
DFARandomWordsEQOracle(MembershipOracle.DFAMembershipOracle<I>, int, int, int, Random, int) - Constructor for class de.learnlib.oracle.equivalence.DFARandomWordsEQOracle
This is an auto-generated constructor.
DFARandomWpMethodEQOracle<I> - Class in de.learnlib.oracle.equivalence
This is an auto-generated refinement.
DFARandomWpMethodEQOracle(MembershipOracle.DFAMembershipOracle<I>, int, int) - Constructor for class de.learnlib.oracle.equivalence.DFARandomWpMethodEQOracle
This is an auto-generated constructor.
DFARandomWpMethodEQOracle(MembershipOracle.DFAMembershipOracle<I>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.DFARandomWpMethodEQOracle
This is an auto-generated constructor.
DFARandomWpMethodEQOracle(MembershipOracle.DFAMembershipOracle<I>, int, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.DFARandomWpMethodEQOracle
This is an auto-generated constructor.
DFARandomWpMethodEQOracle(MembershipOracle.DFAMembershipOracle<I>, int, int, int, Random, int) - Constructor for class de.learnlib.oracle.equivalence.DFARandomWpMethodEQOracle
This is an auto-generated constructor.
DFARefinementCounterLearner<I> - Class in de.learnlib.filter.statistic.learner
This is an auto-generated refinement.
DFARefinementCounterLearner(LearningAlgorithm.DFALearner<I>) - Constructor for class de.learnlib.filter.statistic.learner.DFARefinementCounterLearner
This is an auto-generated constructor.
DFASimulatorEQOracle<I> - Class in de.learnlib.oracle.equivalence
This is an auto-generated refinement.
DFASimulatorEQOracle(DFA<?, I>) - Constructor for class de.learnlib.oracle.equivalence.DFASimulatorEQOracle
This is an auto-generated constructor.
DFASimulatorOmegaOracle(DFA<S, I>) - Constructor for class de.learnlib.oracle.membership.SimulatorOmegaOracle.DFASimulatorOmegaOracle
 
DFASimulatorOracle<I> - Class in de.learnlib.oracle.membership
This is an auto-generated refinement.
DFASimulatorOracle(DFA<?, I>) - Constructor for class de.learnlib.oracle.membership.DFASimulatorOracle
This is an auto-generated constructor.
DFAWMethodEQOracle<I> - Class in de.learnlib.oracle.equivalence
This is an auto-generated refinement.
DFAWMethodEQOracle(MembershipOracle.DFAMembershipOracle<I>, int) - Constructor for class de.learnlib.oracle.equivalence.DFAWMethodEQOracle
This is an auto-generated constructor.
DFAWMethodEQOracle(MembershipOracle.DFAMembershipOracle<I>, int, int) - Constructor for class de.learnlib.oracle.equivalence.DFAWMethodEQOracle
This is an auto-generated constructor.
DFAWMethodEQOracle(MembershipOracle.DFAMembershipOracle<I>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.DFAWMethodEQOracle
This is an auto-generated constructor.
DFAWpMethodEQOracle<I> - Class in de.learnlib.oracle.equivalence
This is an auto-generated refinement.
DFAWpMethodEQOracle(MembershipOracle.DFAMembershipOracle<I>, int) - Constructor for class de.learnlib.oracle.equivalence.DFAWpMethodEQOracle
This is an auto-generated constructor.
DFAWpMethodEQOracle(MembershipOracle.DFAMembershipOracle<I>, int, int) - Constructor for class de.learnlib.oracle.equivalence.DFAWpMethodEQOracle
This is an auto-generated constructor.
DFAWpMethodEQOracle(MembershipOracle.DFAMembershipOracle<I>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.DFAWpMethodEQOracle
This is an auto-generated constructor.
DFAWrapper<S extends AbstractBasePTAState<S,​Boolean,​Void>,​I> - Class in de.learnlib.datastructure.pta.wrapper
 
DFAWrapper(Alphabet<I>, BasePTA<S, Boolean, Void>) - Constructor for class de.learnlib.datastructure.pta.wrapper.DFAWrapper
 
DiscriminationTreeIterators - Class in de.learnlib.datastructure.discriminationtree.iterators
Factory methods for several kinds of discrimination tree node iterators.
discriminator - Variable in class de.learnlib.datastructure.discriminationtree.model.AbstractDTNode
 
displayHTMLInBrowser(ObservationTable<I, D>) - Static method in class de.learnlib.datastructure.observationtable.OTUtils
Convenience method for OTUtils.displayHTMLInBrowser(ObservationTable, Function, Function) that uses Object.toString() to render words and outputs of the observation table.
displayHTMLInBrowser(ObservationTable<I, D>, Function<? super Word<? extends I>, ? extends String>, Function<? super D, ? extends String>) - Static method in class de.learnlib.datastructure.observationtable.OTUtils
Displays the observation table as an HTML document in the default browser.
dispose(S) - Method in interface de.learnlib.filter.reuse.tree.SystemStateHandler
The system state S will be removed from the ReuseTree.
disposeContext(C) - Method in class de.learnlib.driver.AbstractContextExecutableInputSUL
 
disposeContext(C) - Method in class de.learnlib.driver.ContextExecutableInputSUL
 
disposeContext(C) - Method in interface de.learnlib.sul.ContextHandler
 
disposeSystemStates() - Method in class de.learnlib.filter.reuse.tree.ReuseTree
This method removes all system states from the tree.
disprove(A, Collection<? extends I>) - Method in class de.learnlib.oracle.property.LoggingPropertyOracle
Try to disprove this propertyOracle, and log whenever it is disproved.
disprove(A, Collection<? extends I>) - Method in class de.learnlib.oracle.property.PropertyOracleChain
 
disprove(A, Collection<? extends I>) - Method in interface de.learnlib.oracle.PropertyOracle
Try to disprove the property with the given hypothesis.
DisproveFirstOracle<A extends Output<I,​D>,​I,​D> - Class in de.learnlib.oracle.equivalence
The strategy of this black-box oracle is to first try to disprove all properties before finding a counter example to the given hypothesis.
DisproveFirstOracle() - Constructor for class de.learnlib.oracle.equivalence.DisproveFirstOracle
 
DisproveFirstOracle(PropertyOracle<I, ? super A, ?, D>) - Constructor for class de.learnlib.oracle.equivalence.DisproveFirstOracle
 
DisproveFirstOracle(Collection<? extends PropertyOracle<I, ? super A, ?, D>>) - Constructor for class de.learnlib.oracle.equivalence.DisproveFirstOracle
 
doFindCounterExample(A, Collection<? extends I>) - Method in class de.learnlib.oracle.property.LoggingPropertyOracle
Try to find a counterexample to the given hypothesis, and log whenever such a spurious counterexample is found.
doFindCounterExample(A, Collection<? extends I>) - Method in class de.learnlib.oracle.property.PropertyOracleChain
 
doFindCounterExample(A, Collection<? extends I>) - Method in interface de.learnlib.oracle.PropertyOracle
Unconditionally find a counterexample, i.e. regardless of whether the property can be disproved.
doRefineHypothesis(DefaultQuery<I, D>) - Method in class de.learnlib.algorithm.lstar.AbstractAutomatonLStar
 
doRefineHypothesis(DefaultQuery<I, D>) - Method in class de.learnlib.algorithm.lstar.AbstractLStar
 
DTInnerNode<I,​D> - Class in de.learnlib.algorithm.oml.ttt.dt
 
DTInnerNode(DTInnerNode<I, D>, AbstractDecisionTree<I, D>, Children<I, D>, STNode<I>) - Constructor for class de.learnlib.algorithm.oml.ttt.dt.DTInnerNode
 
DTLeaf<I,​D> - Class in de.learnlib.algorithm.oml.ttt.dt
 
DTLeaf(DTInnerNode<I, D>, AbstractDecisionTree<I, D>, PTNode<I, D>) - Constructor for class de.learnlib.algorithm.oml.ttt.dt.DTLeaf
 
dtNode - Variable in class de.learnlib.algorithm.kv.StateInfo
 
DTNode<I> - Class in de.learnlib.algorithm.observationpack.vpa.hypothesis
 
DTNode(DTNode<I>, boolean) - Constructor for class de.learnlib.algorithm.observationpack.vpa.hypothesis.DTNode
 
DTNode(DTNode<I>, boolean, HypLoc<I>) - Constructor for class de.learnlib.algorithm.observationpack.vpa.hypothesis.DTNode
 
dtree - Variable in class de.learnlib.algorithm.observationpack.vpa.AbstractVPALearner
 
dtree - Variable in class de.learnlib.algorithm.ttt.base.AbstractTTTLearner
 
dtree() - Method in class de.learnlib.algorithm.oml.ttt.AbstractOptimalTTT
 
dtree() - Method in class de.learnlib.algorithm.oml.ttt.dfa.OptimalTTTDFA
 
dtree() - Method in class de.learnlib.algorithm.oml.ttt.mealy.OptimalTTTMealy
 
DTree<I> - Class in de.learnlib.algorithm.observationpack.vpa.hypothesis
 
DTree(MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.algorithm.observationpack.vpa.hypothesis.DTree
 
DynamicParallelOmegaOracle<S,​I,​D> - Class in de.learnlib.oracle.parallelism
DynamicParallelOmegaOracle(Supplier<? extends OmegaMembershipOracle<S, I, D>>, @org.checkerframework.checker.index.qual.NonNegative int, ExecutorService) - Constructor for class de.learnlib.oracle.parallelism.DynamicParallelOmegaOracle
 
DynamicParallelOmegaOracleBuilder<S,​I,​D> - Class in de.learnlib.oracle.parallelism
DynamicParallelOmegaOracleBuilder(Collection<? extends OmegaMembershipOracle<S, I, D>>) - Constructor for class de.learnlib.oracle.parallelism.DynamicParallelOmegaOracleBuilder
 
DynamicParallelOmegaOracleBuilder(Supplier<? extends OmegaMembershipOracle<S, I, D>>) - Constructor for class de.learnlib.oracle.parallelism.DynamicParallelOmegaOracleBuilder
 
DynamicParallelOracle<I,​D> - Class in de.learnlib.oracle.parallelism
DynamicParallelOracle(Supplier<? extends MembershipOracle<I, D>>, @org.checkerframework.checker.index.qual.NonNegative int, ExecutorService) - Constructor for class de.learnlib.oracle.parallelism.DynamicParallelOracle
 
DynamicParallelOracleBuilder<I,​D> - Class in de.learnlib.oracle.parallelism
DynamicParallelOracleBuilder(Collection<? extends MembershipOracle<I, D>>) - Constructor for class de.learnlib.oracle.parallelism.DynamicParallelOracleBuilder
 
DynamicParallelOracleBuilder(Supplier<? extends MembershipOracle<I, D>>) - Constructor for class de.learnlib.oracle.parallelism.DynamicParallelOracleBuilder
 
DynamicSymbolComparator<I> - Class in de.learnlib.filter.cache
 
DynamicSymbolComparator() - Constructor for class de.learnlib.filter.cache.DynamicSymbolComparator
 

E

effect(int) - Method in class de.learnlib.acex.AbstractBaseCounterexample
 
effect(int) - Method in interface de.learnlib.acex.AbstractCounterexample
 
EmptinessOracle<A extends Output<I,​D>,​I,​D> - Interface in de.learnlib.oracle
Decides whether the intersection of the language of a given hypothesis and some other language (e.g., from a SUL) is empty.
EmptinessOracle.DFAEmptinessOracle<I> - Interface in de.learnlib.oracle
 
EmptinessOracle.MealyEmptinessOracle<I,​O> - Interface in de.learnlib.oracle
 
empty() - Static method in class de.learnlib.algorithm.adt.model.ExtensionResult
Utility method, returning the (singleton) object indicating, no result could be computed.
EMPTY - de.learnlib.example.mealy.ExampleStack.Output
 
ensureInputCapacity(int) - Method in class de.learnlib.algorithm.observationpack.hypothesis.HState
ensureInputCapacity(int) - Method in class de.learnlib.algorithm.ttt.base.TTTState
ensureSuffixCompliancy(List<Word<I>>) - Static method in class de.learnlib.algorithm.lstar.dfa.LStarDFAUtil
 
ensureSuffixCompliancy(List<Word<I>>) - Static method in class de.learnlib.algorithm.lstar.moore.LStarMooreUtil
 
ensureSuffixCompliancy(List<Word<I>>, Alphabet<I>, boolean) - Static method in class de.learnlib.algorithm.lstar.mealy.LStarMealyUtil
 
entrySet() - Method in class de.learnlib.datastructure.discriminationtree.model.BooleanMap
 
EQOracleChain<A,​I,​D> - Class in de.learnlib.oracle.equivalence
 
EQOracleChain(EquivalenceOracle<? super A, I, D>...) - Constructor for class de.learnlib.oracle.equivalence.EQOracleChain
 
EQOracleChain(List<? extends EquivalenceOracle<? super A, I, D>>) - Constructor for class de.learnlib.oracle.equivalence.EQOracleChain
 
equals(Object) - Method in class de.learnlib.driver.reflect.Error
 
equals(Object) - Method in class de.learnlib.driver.reflect.ReturnValue
 
equals(Object) - Method in class de.learnlib.query.OmegaQuery
 
equals(Object) - Method in class de.learnlib.query.Query
 
EquivalenceOracle<A,​I,​D> - Interface in de.learnlib.oracle
An equivalence oracle, which checks hypothesis automata against the (possibly unknown) system under learning (SUL).
EquivalenceOracle.DFAEquivalenceOracle<I> - Interface in de.learnlib.oracle
A specialization of the EquivalenceOracle interface for a DFA learning scenario.
EquivalenceOracle.MealyEquivalenceOracle<I,​O> - Interface in de.learnlib.oracle
A specialization of the EquivalenceOracle interface for a Mealy learning scenario.
EquivalenceOracle.MooreEquivalenceOracle<I,​O> - Interface in de.learnlib.oracle
A specialization of the EquivalenceOracle interface for a Moore learning scenario.
Error - Class in de.learnlib.driver.reflect
A wrapper for representing an exception-based method output via its Class.getSimpleName().
Error(Throwable) - Constructor for class de.learnlib.driver.reflect.Error
 
EVENT - Static variable in class de.learnlib.logging.Category
Marker for event-related properties.
EVICT_NEWEST - de.learnlib.filter.reuse.tree.BoundedDeque.EvictPolicy
Evict the newest element, that is already *in* the queue (i.e., in any case inserts the new element).
EVICT_OLDEST - de.learnlib.filter.reuse.tree.BoundedDeque.EvictPolicy
Evict the oldest element, i.e., the one at the head of the queue/bottom of the stack.
ExampleAngluin - Class in de.learnlib.example.dfa
This class provides the example used in the paper ''Learning Regular Sets from Queries and Counterexamples'' by Dana Angluin that consists of an automaton that accepts ''all strings over {0,1} with an even number of 0's and an even number of 1's''.
ExampleAngluin() - Constructor for class de.learnlib.example.dfa.ExampleAngluin
 
ExampleCoffeeMachine - Class in de.learnlib.example.mealy
This example represents the Coffee Machine example from Steffen et al.
ExampleCoffeeMachine() - Constructor for class de.learnlib.example.mealy.ExampleCoffeeMachine
 
ExampleCoffeeMachine.Input - Enum in de.learnlib.example.mealy
 
ExampleGrid - Class in de.learnlib.example.mealy
This class generates a Mealy machine consisting of a two-dimensional grid of states.
ExampleGrid(int, int) - Constructor for class de.learnlib.example.mealy.ExampleGrid
 
ExampleKeylock - Class in de.learnlib.example.dfa
 
ExampleKeylock(int, boolean, int) - Constructor for class de.learnlib.example.dfa.ExampleKeylock
 
ExamplePalindrome - Class in de.learnlib.example.sba
 
ExamplePalindrome - Class in de.learnlib.example.spa
 
ExamplePalindrome - Class in de.learnlib.example.spmm
 
ExamplePalindrome() - Constructor for class de.learnlib.example.sba.ExamplePalindrome
 
ExamplePalindrome() - Constructor for class de.learnlib.example.spa.ExamplePalindrome
 
ExamplePalindrome() - Constructor for class de.learnlib.example.spmm.ExamplePalindrome
 
ExamplePaulAndMary - Class in de.learnlib.example.dfa
This class implements a sad love story - DFA style.
ExamplePaulAndMary() - Constructor for class de.learnlib.example.dfa.ExamplePaulAndMary
 
ExampleRandomDFA - Class in de.learnlib.example.dfa
 
ExampleRandomDFA(Random, int, int) - Constructor for class de.learnlib.example.dfa.ExampleRandomDFA
 
ExampleRandomMealy<I,​O> - Class in de.learnlib.example.mealy
 
ExampleRandomMealy(Random, Alphabet<I>, int, O...) - Constructor for class de.learnlib.example.mealy.ExampleRandomMealy
 
ExampleRandomMoore<I,​O> - Class in de.learnlib.example.moore
 
ExampleRandomMoore(Random, Alphabet<I>, int, O...) - Constructor for class de.learnlib.example.moore.ExampleRandomMoore
 
ExampleRandomOneSEVPA<I> - Class in de.learnlib.example.vpa
 
ExampleRandomOneSEVPA(Random, VPAlphabet<I>, int, double, double) - Constructor for class de.learnlib.example.vpa.ExampleRandomOneSEVPA
 
ExampleRandomSBA<I> - Class in de.learnlib.example.sba
 
ExampleRandomSBA(Random, ProceduralInputAlphabet<I>, int) - Constructor for class de.learnlib.example.sba.ExampleRandomSBA
 
ExampleRandomSPA<I> - Class in de.learnlib.example.spa
 
ExampleRandomSPA(Random, ProceduralInputAlphabet<I>, int) - Constructor for class de.learnlib.example.spa.ExampleRandomSPA
 
ExampleRandomSPMM<I,​O> - Class in de.learnlib.example.spmm
 
ExampleRandomSPMM(Random, ProceduralInputAlphabet<I>, ProceduralOutputAlphabet<O>, int) - Constructor for class de.learnlib.example.spmm.ExampleRandomSPMM
 
ExampleRandomSST<I,​O> - Class in de.learnlib.example.sst
 
ExampleRandomSST(Random, Alphabet<I>, int, Collection<Word<O>>, Collection<Word<O>>) - Constructor for class de.learnlib.example.sst.ExampleRandomSST
 
ExampleRandomStateLocalInputMealy<I,​O> - Class in de.learnlib.example.mealy
 
ExampleRandomStateLocalInputMealy(Random, Alphabet<I>, int, O, O...) - Constructor for class de.learnlib.example.mealy.ExampleRandomStateLocalInputMealy
 
ExampleShahbazGroz - Class in de.learnlib.example.mealy
This class provides the example used in the paper ''Inferring Mealy Machines'' by Muzammil Shahbaz and Roland Groz (see Figure 1).
ExampleShahbazGroz() - Constructor for class de.learnlib.example.mealy.ExampleShahbazGroz
 
ExampleStack - Class in de.learnlib.example.mealy
This example encodes a small stack with a capacity of three elements and "push" and "pop" operations as Mealy machine.
ExampleStack() - Constructor for class de.learnlib.example.mealy.ExampleStack
 
ExampleStack.Input - Enum in de.learnlib.example.mealy
 
ExampleStack.Output - Enum in de.learnlib.example.mealy
 
ExampleTinyDFA - Class in de.learnlib.example.dfa
Tiny DFA with language (ab)*.
ExampleTinyDFA() - Constructor for class de.learnlib.example.dfa.ExampleTinyDFA
 
ExampleTinyMealy - Class in de.learnlib.example.mealy
Tiny machine with the language (a1a2)^*.
ExampleTinyMealy() - Constructor for class de.learnlib.example.mealy.ExampleTinyMealy
 
ExecutableInput<O> - Interface in de.learnlib.sul
An executable input is an input that performs a specific action on a SUL itself.
ExecutableInputSUL<I extends ExecutableInput<? extends O>,​O> - Class in de.learnlib.driver
A SUL that executes ExecutableInput symbols.
ExecutableInputSUL() - Constructor for class de.learnlib.driver.ExecutableInputSUL
 
execute() - Method in interface de.learnlib.sul.ExecutableInput
Executes this input symbol.
execute(C) - Method in interface de.learnlib.sul.ContextExecutableInput
Executes this input symbol with a given context.
execute(Object) - Method in class de.learnlib.driver.reflect.MethodInput
 
EXHAUSTIVE_BEST_EFFORT - Static variable in class de.learnlib.algorithm.adt.config.SubtreeReplacers
 
EXHAUSTIVE_MIN_LENGTH - Static variable in class de.learnlib.algorithm.adt.config.SubtreeReplacers
 
EXHAUSTIVE_MIN_SIZE - Static variable in class de.learnlib.algorithm.adt.config.SubtreeReplacers
 
ExhaustiveReplacer - Class in de.learnlib.algorithm.adt.config.model.replacer
 
ExhaustiveReplacer(ADSCalculator) - Constructor for class de.learnlib.algorithm.adt.config.model.replacer.ExhaustiveReplacer
 
Experiment<A> - Class in de.learnlib.util
runs a learning experiment.
Experiment(LearningAlgorithm<? extends A, I, D>, EquivalenceOracle<? super A, I, D>, Alphabet<I>) - Constructor for class de.learnlib.util.Experiment
 
Experiment.DFAExperiment<I> - Class in de.learnlib.util
 
Experiment.MealyExperiment<I,​O> - Class in de.learnlib.util
 
Experiment.MooreExperiment<I,​O> - Class in de.learnlib.util
 
ExplicitAAARLearnerDFA<L extends LearningAlgorithm.DFALearner<CI> & SupportsGrowingAlphabet<CI>,​AI,​CI> - Class in de.learnlib.algorithm.aaar.explicit
A DFA-specific refinement of AbstractExplicitAAARLearner.
ExplicitAAARLearnerDFA(LearnerConstructor<L, CI, Boolean>, MembershipOracle<CI, Boolean>, ExplicitInitialAbstraction<AI, CI>, Function<AI, AI>) - Constructor for class de.learnlib.algorithm.aaar.explicit.ExplicitAAARLearnerDFA
Constructor.
ExplicitAAARLearnerMealy<L extends LearningAlgorithm.MealyLearner<CI,​O> & SupportsGrowingAlphabet<CI>,​AI,​CI,​O> - Class in de.learnlib.algorithm.aaar.explicit
A MealyMachine-specific refinement of AbstractExplicitAAARLearner.
ExplicitAAARLearnerMealy(LearnerConstructor<L, CI, Word<O>>, MembershipOracle<CI, Word<O>>, ExplicitInitialAbstraction<AI, CI>, Function<AI, AI>) - Constructor for class de.learnlib.algorithm.aaar.explicit.ExplicitAAARLearnerMealy
Constructor.
ExplicitAAARLearnerMoore<L extends LearningAlgorithm.MooreLearner<CI,​O> & SupportsGrowingAlphabet<CI>,​AI,​CI,​O> - Class in de.learnlib.algorithm.aaar.explicit
ExplicitAAARLearnerMoore(LearnerConstructor<L, CI, Word<O>>, MembershipOracle<CI, Word<O>>, ExplicitInitialAbstraction<AI, CI>, Function<AI, AI>) - Constructor for class de.learnlib.algorithm.aaar.explicit.ExplicitAAARLearnerMoore
Constructor.
ExplicitAbstractionTree<AI,​CI,​D> - Class in de.learnlib.algorithm.aaar.abstraction
 
ExplicitAbstractionTree(AI, CI, MembershipOracle<CI, D>, Function<AI, AI>) - Constructor for class de.learnlib.algorithm.aaar.abstraction.ExplicitAbstractionTree
 
ExplicitInitialAbstraction<AI,​CI> - Interface in de.learnlib.algorithm.aaar
This interface denotes an Abstraction that additionally provides an initial classification of abstract input symbols.
EXPONENTIAL_BWD - Static variable in class de.learnlib.acex.AcexAnalyzers
Analyzer that searches for a suffix index using exponential search.
EXPONENTIAL_FWD - Static variable in class de.learnlib.acex.AcexAnalyzers
 
exponentialSearchBwd(AbstractCounterexample<E>, int, int) - Static method in class de.learnlib.acex.AcexAnalysisAlgorithms
Search for a suffix index using an exponential search.
exponentialSearchFwd(AbstractCounterexample<E>, int, int) - Static method in class de.learnlib.acex.AcexAnalysisAlgorithms
 
ExtDTNode() - Constructor for class de.learnlib.algorithm.ttt.dfa.PrefixTTTLearnerDFA.ExtDTNode
 
ExtDTNode(PrefixTTTLearnerDFA.ExtDTNode<I>, Boolean) - Constructor for class de.learnlib.algorithm.ttt.dfa.PrefixTTTLearnerDFA.ExtDTNode
 
EXTEND_BEST_EFFORT - Static variable in class de.learnlib.algorithm.adt.config.ADTExtenders
 
EXTEND_PARENT - Static variable in class de.learnlib.algorithm.adt.config.LeafSplitters
 
extendLeaf(ADTNode<S, I, O>, Word<I>, Word<O>, Word<O>, LeafSplitter) - Method in class de.learnlib.algorithm.adt.adt.ADT
Splitting a leaf node by extending the trace leading into the node to split.
ExtensibleLStarDFA<I> - Class in de.learnlib.algorithm.lstar.dfa
An implementation of Angluin's L* algorithm for learning DFAs, as described in the paper "Learning Regular Sets from Queries and Counterexamples".
ExtensibleLStarDFA(Alphabet<I>, MembershipOracle<I, Boolean>, List<Word<I>>, ObservationTableCEXHandler<? super I, ? super Boolean>, ClosingStrategy<? super I, ? super Boolean>) - Constructor for class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFA
Constructor.
ExtensibleLStarDFA(Alphabet<I>, MembershipOracle<I, Boolean>, List<Word<I>>, List<Word<I>>, ObservationTableCEXHandler<? super I, ? super Boolean>, ClosingStrategy<? super I, ? super Boolean>) - Constructor for class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFA
 
ExtensibleLStarDFABuilder<I> - Class in de.learnlib.algorithm.lstar.dfa
 
ExtensibleLStarDFABuilder() - Constructor for class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder
 
ExtensibleLStarMealy<I,​O> - Class in de.learnlib.algorithm.lstar.mealy
 
ExtensibleLStarMealy(Alphabet<I>, MembershipOracle<I, Word<O>>, List<Word<I>>, ObservationTableCEXHandler<? super I, ? super Word<O>>, ClosingStrategy<? super I, ? super Word<O>>) - Constructor for class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealy
 
ExtensibleLStarMealy(Alphabet<I>, MembershipOracle<I, Word<O>>, List<Word<I>>, List<Word<I>>, ObservationTableCEXHandler<? super I, ? super Word<O>>, ClosingStrategy<? super I, ? super Word<O>>) - Constructor for class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealy
 
ExtensibleLStarMealyBuilder<I,​O> - Class in de.learnlib.algorithm.lstar.mealy
 
ExtensibleLStarMealyBuilder() - Constructor for class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder
 
ExtensibleLStarMoore<I,​O> - Class in de.learnlib.algorithm.lstar.moore
A MooreMachine-based specialization of the extensible L* learner.
ExtensibleLStarMoore(Alphabet<I>, MembershipOracle<I, Word<O>>, List<Word<I>>, ObservationTableCEXHandler<? super I, ? super Word<O>>, ClosingStrategy<? super I, ? super Word<O>>) - Constructor for class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMoore
 
ExtensibleLStarMoore(Alphabet<I>, MembershipOracle<I, Word<O>>, List<Word<I>>, List<Word<I>>, ObservationTableCEXHandler<? super I, ? super Word<O>>, ClosingStrategy<? super I, ? super Word<O>>) - Constructor for class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMoore
 
ExtensibleLStarMooreBuilder<I,​O> - Class in de.learnlib.algorithm.lstar.moore
 
ExtensibleLStarMooreBuilder() - Constructor for class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder
 
ExtensionResult<S,​I,​O> - Class in de.learnlib.algorithm.adt.model
A class that describes the possible result a ADTExtender can return.
ExtensionResult(ADTNode<S, I, O>) - Constructor for class de.learnlib.algorithm.adt.model.ExtensionResult
 
ExtensionResult(DefaultQuery<I, Word<O>>) - Constructor for class de.learnlib.algorithm.adt.model.ExtensionResult
 

F

fetchIncoming() - Method in class de.learnlib.algorithm.kv.StateInfo
 
fetchNonTreeIncoming(Collection<? super HTransition<I, O, SP, TP>>) - Method in class de.learnlib.algorithm.observationpack.hypothesis.HState
 
fetchPTA() - Method in class de.learnlib.algorithm.rpni.AbstractBlueFringeRPNI
Fetches the initial PTA for model construction.
fetchPTA() - Method in class de.learnlib.algorithm.rpni.BlueFringeEDSMDFA
 
fetchPTA() - Method in class de.learnlib.algorithm.rpni.BlueFringeMDLDFA
 
fetchPTA() - Method in class de.learnlib.algorithm.rpni.BlueFringeRPNIDFA
 
fetchPTA() - Method in class de.learnlib.algorithm.rpni.BlueFringeRPNIMealy
 
fetchPTA() - Method in class de.learnlib.algorithm.rpni.BlueFringeRPNIMoore
 
fetchSystemState(boolean) - Method in class de.learnlib.filter.reuse.tree.ReuseNode
The system state, may be null.
fetchSystemState(Word<I>) - Method in class de.learnlib.filter.reuse.tree.ReuseTree
Returns a reuseable ReuseNode.NodeResult with system state or null if none such exists.
FIFO - de.learnlib.filter.reuse.tree.BoundedDeque.AccessPolicy
First-in first-out.
FIFO_ORDER - de.learnlib.datastructure.pta.config.DefaultProcessingOrders
Processes blue states in a first-in, first-out (queue-like) manner.
fillInStackTrace() - Method in exception de.learnlib.algorithm.adt.api.PartialTransitionAnalyzer.HypothesisModificationException
 
finalizeAny() - Method in class de.learnlib.algorithm.ttt.base.AbstractTTTLearner
Chooses a block root, and finalizes the corresponding discriminator.
finalizeAny() - Method in class de.learnlib.algorithm.ttt.vpa.TTTLearnerVPA
 
FIND_LINEAR - Static variable in class de.learnlib.algorithm.lstar.ce.ObservationTableCEXHandlers
 
FIND_LINEAR - Static variable in class de.learnlib.counterexample.GlobalSuffixFinders
Adds the single suffix found by the access sequence transformation in ascending linear order.
FIND_LINEAR - Static variable in class de.learnlib.counterexample.LocalSuffixFinders
Searches for a distinguishing suffixes by checking for counterexample yielding access sequence transformations in linear ascending order.
FIND_LINEAR_ALLSUFFIXES - Static variable in class de.learnlib.algorithm.lstar.ce.ObservationTableCEXHandlers
 
FIND_LINEAR_ALLSUFFIXES - Static variable in class de.learnlib.counterexample.GlobalSuffixFinders
Adds the suffix found by the access sequence transformation in ascending linear order, and all of its suffixes.
FIND_LINEAR_REVERSE - Static variable in class de.learnlib.algorithm.lstar.ce.ObservationTableCEXHandlers
 
FIND_LINEAR_REVERSE - Static variable in class de.learnlib.counterexample.GlobalSuffixFinders
Adds the single suffix found by the access sequence transformation in descending linear order.
FIND_LINEAR_REVERSE - Static variable in class de.learnlib.counterexample.LocalSuffixFinders
Searches for a distinguishing suffixes by checking for counterexample yielding access sequence transformations in linear descending order.
FIND_LINEAR_REVERSE_ALLSUFFIXES - Static variable in class de.learnlib.algorithm.lstar.ce.ObservationTableCEXHandlers
 
FIND_LINEAR_REVERSE_ALLSUFFIXES - Static variable in class de.learnlib.counterexample.GlobalSuffixFinders
Adds the suffix found by the access sequence transformation in descending linear order, and all of its suffixes.
findCounterExample(A, Collection<? extends I>) - Method in interface de.learnlib.oracle.AutomatonOracle
Finds a counter example to the given hypothesis.
findCounterExample(A, Collection<? extends I>) - Method in interface de.learnlib.oracle.EmptinessOracle
 
findCounterExample(A, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.AbstractBFInclusionOracle
 
findCounterExample(A, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.AbstractTestWordEQOracle
 
findCounterExample(A, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.CExFirstOracle
 
findCounterExample(A, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.DisproveFirstOracle
 
findCounterExample(A, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.EQOracleChain
 
findCounterExample(A, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.mealy.SymbolEQOracleWrapper
 
findCounterExample(A, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.SimulatorEQOracle
 
findCounterExample(A, Collection<? extends I>) - Method in interface de.learnlib.oracle.EquivalenceOracle
Searches for a counterexample disproving the subjected hypothesis.
findCounterExample(A, Collection<? extends I>) - Method in interface de.learnlib.oracle.PropertyOracle
Try to find a counterexample to the given hypothesis if the property can not be disproved.
findCounterExample(A, Collection<? extends I>, int) - Method in interface de.learnlib.oracle.AutomatonOracle
Find a counterexample for a given hypothesis.
findCounterExample(L, Collection<? extends I>) - Method in class de.learnlib.oracle.emptiness.LassoEmptinessOracleImpl
 
findCounterExample(L, Collection<? extends I>) - Method in interface de.learnlib.oracle.LassoOracle
 
findCounterExample(SuffixOutput<I, D>, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.SampleSetEQOracle
 
findCounterExample(SBA<?, I>, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.sba.SimulatorEQOracle
 
findCounterExample(SPA<?, I>, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.spa.SimulatorEQOracle
 
findCounterExample(SPMM<?, I, ?, O>, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.spmm.SimulatorEQOracle
 
findCounterExample(MealyMachine<?, I, ?, O>, Collection<? extends I>) - Method in class de.learnlib.filter.cache.mealy.MealyCacheConsistencyTest
 
findCounterExample(MealyMachine<?, I, ?, O>, Collection<? extends I>) - Method in class de.learnlib.filter.cache.mealy.ThreadSafeMealyCacheConsistencyTest
 
findCounterExample(MealyMachine<?, I, ?, O>, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.mealy.RandomWalkEQOracle
 
findCounterExample(MooreMachine<?, I, ?, O>, Collection<? extends I>) - Method in class de.learnlib.filter.cache.moore.MooreCacheConsistencyTest
 
findCounterExample(MooreMachine<?, I, ?, O>, Collection<? extends I>) - Method in class de.learnlib.filter.cache.moore.ThreadSafeMooreCacheConsistencyTest
 
findCounterExample(OneSEVPA<?, I>, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.vpa.SimulatorEQOracle
 
findDistinguishingSuffix(Inconsistency<I>) - Method in interface de.learnlib.datastructure.observationtable.ObservationTable
 
findDistinguishingSuffix(Row<I>, Row<I>) - Method in interface de.learnlib.datastructure.observationtable.ObservationTable
 
findDistinguishingSuffixIndex(Inconsistency<I>) - Method in interface de.learnlib.datastructure.observationtable.ObservationTable
 
findDistinguishingSuffixIndex(Row<I>, Row<I>) - Method in interface de.learnlib.datastructure.observationtable.ObservationTable
 
findInconsistency() - Method in class de.learnlib.algorithm.nlstar.ObservationTable
 
findInconsistency() - Method in interface de.learnlib.datastructure.observationtable.ObservationTable
 
findLCA(ADTNode<S, I, O>, ADTNode<S, I, O>) - Method in class de.learnlib.algorithm.adt.adt.ADT
Return the lowest common ancestor for the given two nodes.
findLinear(Query<I, D>, AccessSequenceTransformer<I>, SuffixOutput<I, D>, MembershipOracle<I, D>) - Static method in class de.learnlib.counterexample.LocalSuffixFinders
Searches for a distinguishing suffixes by checking for counterexample yielding access sequence transformations in linear ascending order.
findLinear(Query<I, D>, AccessSequenceTransformer<I>, SuffixOutput<I, D>, MembershipOracle<I, D>, boolean) - Static method in class de.learnlib.counterexample.GlobalSuffixFinders
Returns the suffix (plus all of its suffixes, if allSuffixes is true) found by the access sequence transformation in ascending linear order.
findLinearReverse(Query<I, D>, AccessSequenceTransformer<I>, SuffixOutput<I, D>, MembershipOracle<I, D>) - Static method in class de.learnlib.counterexample.LocalSuffixFinders
Searches for a distinguishing suffixes by checking for counterexample yielding access sequence transformations in linear descending order.
findLinearReverse(Query<I, D>, AccessSequenceTransformer<I>, SuffixOutput<I, D>, MembershipOracle<I, D>, boolean) - Static method in class de.learnlib.counterexample.GlobalSuffixFinders
Returns the suffix (plus all of its suffixes, if allSuffixes is true) found by the access sequence transformation in descending linear order.
findMalerPnueli(Query<I, D>) - Static method in class de.learnlib.counterexample.GlobalSuffixFinders
Returns all suffixes of the counterexample word as distinguishing suffixes, as suggested by Maler & Pnueli.
findMismatch(MealyMachine<?, I, ?, O>, Word<I>, Word<O>) - Static method in class de.learnlib.util.mealy.MealyUtil
 
findMismatch(Word<O>, Word<O>) - Static method in class de.learnlib.util.mealy.MealyUtil
 
findMismatch(Word<O>, Word<O>) - Static method in class de.learnlib.util.moore.MooreUtil
 
findOutputInconsistency() - Method in class de.learnlib.algorithm.ttt.base.AbstractTTTLearner
 
findOutputInconsistency() - Method in class de.learnlib.algorithm.ttt.mealy.TTTLearnerMealy
 
findRivestSchapire(Query<I, D>, AccessSequenceTransformer<I>, SuffixOutput<I, D>, MembershipOracle<I, D>) - Static method in class de.learnlib.counterexample.LocalSuffixFinders
Searches for a distinguishing suffixes by checking for counterexample yielding access sequence transformations using a binary search, as proposed by Rivest & Schapire.
findRivestSchapire(Query<I, O>, AccessSequenceTransformer<I>, SuffixOutput<I, O>, MembershipOracle<I, O>, boolean) - Static method in class de.learnlib.counterexample.GlobalSuffixFinders
Returns the suffix (plus all of its suffixes, if allSuffixes is true) found by the binary search access sequence transformation.
findSeparatingWord(S, S) - Method in class de.learnlib.algorithm.adt.model.ObservationTree
Find a separating word for two hypothesis states.
findSeparatingWord(S, S, Word<I>) - Method in class de.learnlib.algorithm.adt.model.ObservationTree
Find a separating word for two hypothesis states, after applying given input sequence first.
findShahbaz(Query<I, D>, AccessSequenceTransformer<I>) - Static method in class de.learnlib.counterexample.GlobalSuffixFinders
Returns all suffixes of the counterexample word as distinguishing suffixes, after stripping a maximal one-letter extension of an access sequence, as suggested by Shahbaz.
findSuffixes(Query<RI, RD>, AccessSequenceTransformer<RI>, SuffixOutput<RI, RD>, MembershipOracle<RI, RD>) - Method in interface de.learnlib.counterexample.GlobalSuffixFinder
Finds a set of distinguishing suffixes which will allow to expose at least one additional state in the hypothesis.
findSuffixIndex(AcexAnalyzer, boolean, Query<RI, RO>, AccessSequenceTransformer<RI>, SuffixOutput<RI, RO>, MembershipOracle<RI, RO>) - Static method in class de.learnlib.counterexample.AcexLocalSuffixFinder
 
findSuffixIndex(Query<RI, RD>, AccessSequenceTransformer<RI>, SuffixOutput<RI, RD>, MembershipOracle<RI, RD>) - Method in interface de.learnlib.counterexample.LocalSuffixFinder
Finds, for a given counterexample, a "split index", such that: - the part of the query word before this index leads to the state being split - the part of the query word from this index on is a suffix capable of splitting this state.
findSuffixIndex(Query<RI, RO>, AccessSequenceTransformer<RI>, SuffixOutput<RI, RO>, MembershipOracle<RI, RO>) - Method in class de.learnlib.counterexample.AcexLocalSuffixFinder
 
findUnclosedRow() - Method in interface de.learnlib.datastructure.observationtable.ObservationTable
 
firstOutput - Variable in class de.learnlib.algorithm.adt.adt.ADT.LCAInfo
 
FIXED - de.learnlib.oracle.parallelism.ThreadPool.PoolPolicy
Maintain a fixed thread pool.
forEachSucc(Consumer<? super S>) - Method in class de.learnlib.datastructure.pta.AbstractBasePTAState
 
fork() - Method in class de.learnlib.driver.ContextExecutableInputSUL
 
fork() - Method in class de.learnlib.driver.ExecutableInputSUL
 
fork() - Method in class de.learnlib.driver.reflect.SimplePOJOExceptionMapper
 
fork() - Method in class de.learnlib.driver.simulator.MealySimulatorSUL
 
fork() - Method in class de.learnlib.driver.simulator.ObservableMealySimulatorSUL
 
fork() - Method in class de.learnlib.driver.simulator.StateLocalInputMealySimulatorSUL
 
fork() - Method in class de.learnlib.filter.cache.sul.StateLocalInputSULCache
 
fork() - Method in class de.learnlib.filter.statistic.sul.ResetCounterObservableSUL
 
fork() - Method in class de.learnlib.filter.statistic.sul.ResetCounterStateLocalInputSUL
 
fork() - Method in class de.learnlib.filter.statistic.sul.ResetCounterSUL
 
fork() - Method in class de.learnlib.filter.statistic.sul.SLICounterStateLocalInputSUL
 
fork() - Method in class de.learnlib.filter.statistic.sul.SymbolCounterObservableSUL
 
fork() - Method in class de.learnlib.filter.statistic.sul.SymbolCounterStateLocalInputSUL
 
fork() - Method in class de.learnlib.filter.statistic.sul.SymbolCounterSUL
 
fork() - Method in class de.learnlib.mapper.MappedSUL
 
fork() - Method in interface de.learnlib.sul.ObservableSUL
 
fork() - Method in interface de.learnlib.sul.StateLocalInputSUL
 
fork() - Method in interface de.learnlib.sul.SUL
Forks this SUL, if possible.
fork() - Method in interface de.learnlib.sul.SULMapper
Forks this mapper, i.e., returns a mapper that behaves in exactly the same way as this mapper, but allows for being used independently of this mapper.
FORWARD - de.learnlib.acex.AcexAnalyzers.Direction
 
from() - Method in annotation type de.learnlib.buildtool.refinement.annotation.Map
The type of input parameter that if matched (equality) should be replaced.
fromBytes(byte[]) - Static method in class de.learnlib.testsupport.ResumeUtils
 
fromGlobalSuffixFinder(GlobalSuffixFinder<I, D>) - Static method in class de.learnlib.algorithm.lstar.ce.ObservationTableCEXHandlers
 
fromLocalFinder(LocalSuffixFinder<I, D>) - Static method in class de.learnlib.counterexample.GlobalSuffixFinders
Transforms a LocalSuffixFinder into a global one.
fromLocalFinder(LocalSuffixFinder<I, D>, boolean) - Static method in class de.learnlib.counterexample.GlobalSuffixFinders
Transforms a LocalSuffixFinder into a global one.
fromLocalSuffixFinder(LocalSuffixFinder<I, D>) - Static method in class de.learnlib.algorithm.lstar.ce.ObservationTableCEXHandlers
 
fromLocalSuffixFinder(LocalSuffixFinder<I, D>, boolean) - Static method in class de.learnlib.algorithm.lstar.ce.ObservationTableCEXHandlers
 
fromString(String, Alphabet<I>, ObservationTableReader<I, D>) - Static method in class de.learnlib.datastructure.observationtable.OTUtils
 
FULL - de.learnlib.example.mealy.ExampleStack.Output
 
fullIntAbstraction(Alphabet<I>) - Method in class de.learnlib.algorithm.ttt.base.AbstractTTTHypothesis
 
fullIntAbstraction(Alphabet<I>) - Method in class de.learnlib.algorithm.ttt.dfa.TTTHypothesisDFA
 
fullIntAbstraction(Alphabet<I>) - Method in class de.learnlib.algorithm.ttt.mealy.TTTHypothesisMealy
 
fullIntAbstraction(Alphabet<I>) - Method in class de.learnlib.algorithm.ttt.moore.TTTHypothesisMoore
 
FWD_ANALYZERS - Static variable in class de.learnlib.acex.AcexAnalyzers
 

G

GenerateRefinement - Annotation Type in de.learnlib.buildtool.refinement.annotation
Annotation to indicate that a subclass with the specified configuration should be generated.
GenerateRefinements - Annotation Type in de.learnlib.buildtool.refinement.annotation
Container annotation used in GenerateRefinements Repeatable configuration.
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.
generateTestWords(A, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.AbstractTestWordEQOracle
Generate the stream of test words that should be used for the current equivalence check cycle.
generateTestWords(A, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.CompleteExplorationEQOracle
 
generateTestWords(A, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.IncrementalWMethodEQOracle
 
generateTestWords(A, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.RandomWMethodEQOracle
 
generateTestWords(A, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.RandomWordsEQOracle
 
generateTestWords(A, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.RandomWpMethodEQOracle
 
generateTestWords(A, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.WMethodEQOracle
 
generateTestWords(A, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.WpMethodEQOracle
 
generateTestWords(Output<I, Boolean>, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.vpa.RandomWellMatchedWordsEQOracle
 
generateTestWords(SBA<?, I>, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.sba.WMethodEQOracle
 
generateTestWords(SPA<?, I>, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.spa.WMethodEQOracle
 
generateTestWords(SPA<?, I>, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.spa.WpMethodEQOracle
 
generateTestWords(SPMM<?, I, ?, O>, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.spmm.WMethodEQOracle
 
Generic - Annotation Type in de.learnlib.buildtool.refinement.annotation
Definition of a generic parameter.
GenericAAARLearnerDFA<L extends LearningAlgorithm.DFALearner<CI> & SupportsGrowingAlphabet<CI>,​AI,​CI> - Class in de.learnlib.algorithm.aaar.generic
A DFA-specific refinement of AbstractGenericAAARLearner.
GenericAAARLearnerDFA(LearnerConstructor<L, CI, Boolean>, MembershipOracle<CI, Boolean>, CI, Function<CI, AI>) - Constructor for class de.learnlib.algorithm.aaar.generic.GenericAAARLearnerDFA
Constructor.
GenericAAARLearnerMealy<L extends LearningAlgorithm.MealyLearner<CI,​O> & SupportsGrowingAlphabet<CI>,​AI,​CI,​O> - Class in de.learnlib.algorithm.aaar.generic
A MealyMachine-specific refinement of AbstractGenericAAARLearner.
GenericAAARLearnerMealy(LearnerConstructor<L, CI, Word<O>>, MembershipOracle<CI, Word<O>>, CI, Function<CI, AI>) - Constructor for class de.learnlib.algorithm.aaar.generic.GenericAAARLearnerMealy
Constructor.
GenericAAARLearnerMoore<L extends LearningAlgorithm.MooreLearner<CI,​O> & SupportsGrowingAlphabet<CI>,​AI,​CI,​O> - Class in de.learnlib.algorithm.aaar.generic
A MooreMachine-specific refinement of AbstractGenericAAARLearner.
GenericAAARLearnerMoore(LearnerConstructor<L, CI, Word<O>>, MembershipOracle<CI, Word<O>>, CI, Function<CI, AI>) - Constructor for class de.learnlib.algorithm.aaar.generic.GenericAAARLearnerMoore
Constructor.
GenericAbstractionTree<AI,​CI,​D> - Class in de.learnlib.algorithm.aaar.abstraction
 
GenericAbstractionTree(AI, CI, MembershipOracle<CI, D>, Function<CI, AI>) - Constructor for class de.learnlib.algorithm.aaar.abstraction.GenericAbstractionTree
 
GenericObservationTable<I,​D> - Class in de.learnlib.datastructure.observationtable
Observation table class.
GenericObservationTable(Alphabet<I>) - Constructor for class de.learnlib.datastructure.observationtable.GenericObservationTable
Constructor.
generics() - Method in annotation type de.learnlib.buildtool.refinement.annotation.GenerateRefinement
The type variables the refinement should have.
generics() - Method in annotation type de.learnlib.buildtool.refinement.annotation.Generic
Potential nested type parameters of the referenced (cf.
generics() - Method in annotation type de.learnlib.buildtool.refinement.annotation.Interface
Potential nested type parameters of the referenced (cf.
get(boolean) - Method in class de.learnlib.datastructure.discriminationtree.model.BooleanMap
 
get(Object) - Method in class de.learnlib.datastructure.discriminationtree.model.BooleanMap
 
getAbstractAlphabet() - Method in class de.learnlib.algorithm.aaar.AbstractAAARLearner
Returns the (abstract) alphabet of the current (abstract) hypothesis model (cf.
getAbstractionTree() - Method in class de.learnlib.algorithm.aaar.generic.AbstractGenericAAARLearner
 
getAbstractionTrees() - Method in class de.learnlib.algorithm.aaar.explicit.AbstractExplicitAAARLearner
 
getAbstractSymbol(CI) - Method in class de.learnlib.algorithm.aaar.abstraction.AbstractAbstractionTree
 
getAbstractSymbol(CI) - Method in interface de.learnlib.algorithm.aaar.Abstraction
Returns the abstract symbol for a given concrete one.
getAccessSequence() - Method in interface de.learnlib.AccessSequenceProvider
Retrieves the access sequence of this object.
getAccessSequence() - Method in class de.learnlib.algorithm.adt.automaton.ADTState
 
getAccessSequence() - Method in class de.learnlib.algorithm.observationpack.hypothesis.HState
 
getAccessSequence() - Method in class de.learnlib.algorithm.observationpack.hypothesis.HTransition
 
getAccessSequence() - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.AbstractHypTrans
 
getAccessSequence() - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.HypLoc
 
getAccessSequence() - Method in class de.learnlib.algorithm.ttt.base.TTTState
 
getAccessSequence() - Method in class de.learnlib.algorithm.ttt.base.TTTTransition
 
getAccessSequence(I) - Method in interface de.learnlib.algorithm.procedural.sba.ATManager
Returns an access sequence for the given procedure.
getAccessSequence(I) - Method in class de.learnlib.algorithm.procedural.sba.manager.DefaultATManager
 
getAccessSequence(I) - Method in class de.learnlib.algorithm.procedural.sba.manager.OptimizingATManager
 
getAccessSequence(I) - Method in interface de.learnlib.algorithm.procedural.spa.ATRManager
Returns an access sequence for the given procedure.
getAccessSequence(I) - Method in class de.learnlib.algorithm.procedural.spa.manager.DefaultATRManager
 
getAccessSequence(I) - Method in class de.learnlib.algorithm.procedural.spa.manager.OptimizingATRManager
 
getAccessSequence(I) - Method in interface de.learnlib.algorithm.procedural.spmm.ATManager
Returns an access sequence for the given procedure.
getAccessSequence(I) - Method in class de.learnlib.algorithm.procedural.spmm.manager.DefaultATManager
 
getAccessSequence(I) - Method in class de.learnlib.algorithm.procedural.spmm.manager.OptimizingATManager
 
getADT() - Method in class de.learnlib.algorithm.adt.learner.ADTLearner
 
getAdtExtender() - Method in class de.learnlib.algorithm.adt.learner.ADTLearnerBuilder
 
getAllAnalyzers() - Static method in class de.learnlib.acex.AcexAnalyzers
 
getAllPrefixes() - Method in interface de.learnlib.datastructure.observationtable.ObservationTable
Retrieves all prefixes (short and long) in the table.
getAllRows() - Method in interface de.learnlib.datastructure.observationtable.ObservationTable
 
getAlphabet() - Method in class de.learnlib.algorithm.adt.learner.ADTLearnerBuilder
 
getAlphabet() - Method in class de.learnlib.algorithm.dhc.mealy.MealyDHCBuilder
 
getAlphabet() - Method in class de.learnlib.algorithm.kv.dfa.KearnsVaziraniDFABuilder
 
getAlphabet() - Method in class de.learnlib.algorithm.kv.mealy.KearnsVaziraniMealyBuilder
 
getAlphabet() - Method in class de.learnlib.algorithm.lstar.dfa.ClassicLStarDFABuilder
 
getAlphabet() - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder
 
getAlphabet() - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder
 
getAlphabet() - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder
 
getAlphabet() - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder
 
getAlphabet() - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder
 
getAlphabet() - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliDFABuilder
 
getAlphabet() - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMealyBuilder
 
getAlphabet() - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMooreBuilder
 
getAlphabet() - Method in class de.learnlib.algorithm.nlstar.NLStarLearnerBuilder
 
getAlphabet() - Method in class de.learnlib.algorithm.observationpack.dfa.OPLearnerDFABuilder
 
getAlphabet() - Method in class de.learnlib.algorithm.observationpack.mealy.OPLearnerMealyBuilder
 
getAlphabet() - Method in class de.learnlib.algorithm.observationpack.moore.OPLearnerMooreBuilder
 
getAlphabet() - Method in class de.learnlib.algorithm.observationpack.vpa.OPLearnerVPABuilder
 
getAlphabet() - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireDFABuilder
 
getAlphabet() - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMealyBuilder
 
getAlphabet() - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMooreBuilder
 
getAlphabet() - Method in class de.learnlib.algorithm.ttt.dfa.TTTLearnerDFABuilder
 
getAlphabet() - Method in class de.learnlib.algorithm.ttt.mealy.TTTLearnerMealyBuilder
 
getAlphabet() - Method in class de.learnlib.algorithm.ttt.moore.TTTLearnerMooreBuilder
 
getAlphabet() - Method in class de.learnlib.algorithm.ttt.vpa.TTTLearnerVPABuilder
 
getAlphabet() - Method in class de.learnlib.example.DefaultLearningExample.DefaultOneSEVPALearningExample
 
getAlphabet() - Method in class de.learnlib.example.DefaultLearningExample.DefaultSBALearningExample
 
getAlphabet() - Method in class de.learnlib.example.DefaultLearningExample.DefaultSPALearningExample
 
getAlphabet() - Method in class de.learnlib.example.DefaultLearningExample.DefaultSPMMLearningExample
 
getAlphabet() - Method in class de.learnlib.example.DefaultLearningExample
 
getAlphabet() - Method in interface de.learnlib.example.LearningExample
 
getAlphabet() - Method in interface de.learnlib.example.LearningExample.OneSEVPALearningExample
 
getAlphabet() - Method in interface de.learnlib.example.LearningExample.SBALearningExample
 
getAlphabet() - Method in interface de.learnlib.example.LearningExample.SPALearningExample
 
getAlphabet() - Method in interface de.learnlib.example.LearningExample.SPMMLearningExample
 
getAlphabet() - Method in class de.learnlib.example.mealy.ExampleRandomStateLocalInputMealy
 
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
 
getAnalyzer() - Method in class de.learnlib.algorithm.observationpack.vpa.OPLearnerVPABuilder
 
getAnalyzer() - Method in class de.learnlib.algorithm.ttt.dfa.TTTLearnerDFABuilder
 
getAnalyzer() - Method in class de.learnlib.algorithm.ttt.mealy.TTTLearnerMealyBuilder
 
getAnalyzer() - Method in class de.learnlib.algorithm.ttt.moore.TTTLearnerMooreBuilder
 
getAnalyzer() - Method in class de.learnlib.algorithm.ttt.vpa.TTTLearnerVPABuilder
 
getAnalyzers(AcexAnalyzers.Direction) - Static method in class de.learnlib.acex.AcexAnalyzers
 
getAnySuccessor(TTTState<I, D>, I) - Method in class de.learnlib.algorithm.ttt.base.AbstractTTTLearner
 
getAnySuccessor(TTTState<I, D>, Iterable<? extends I>) - Method in class de.learnlib.algorithm.ttt.base.AbstractTTTLearner
 
getAnySuccessor(State<HypLoc<I>>, I) - Method in class de.learnlib.algorithm.ttt.vpa.TTTLearnerVPA
 
getAnyTarget(TTTTransition<I, D>) - Method in class de.learnlib.algorithm.ttt.base.AbstractTTTLearner
Retrieves the target state of a given transition.
getBackwardAnalyzers() - Static method in class de.learnlib.acex.AcexAnalyzers
 
getBaseState() - Method in class de.learnlib.algorithm.observationpack.vpa.OPLearnerVPA.PrefixTransformAcex
 
getBlueState() - Method in class de.learnlib.datastructure.pta.RedBlueMerge
 
getBool(LearnLibProperty, boolean) - Method in class de.learnlib.setting.LearnLibSettings
 
getBoolean(LearnLibProperty) - Method in class de.learnlib.setting.LearnLibSettings
 
getCache() - Method in class de.learnlib.filter.cache.dfa.DFAHashCacheOracle.DFAHashCacheOracleState
 
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
 
getCause() - Method in class de.learnlib.driver.reflect.Error
 
getCexHandler() - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder
 
getCexHandler() - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder
 
getCexHandler() - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder
 
getCexHandler() - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder
 
getCexHandler() - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder
 
getChild(O) - Method in class de.learnlib.datastructure.discriminationtree.model.AbstractDTNode
 
getChildEntries() - Method in class de.learnlib.datastructure.discriminationtree.model.AbstractDTNode
 
getChildren() - Method in class de.learnlib.algorithm.adt.adt.ADTResetNode
 
getChildren() - Method in class de.learnlib.algorithm.oml.ttt.dt.DTInnerNode
 
getChildren() - Method in class de.learnlib.datastructure.discriminationtree.model.AbstractDTNode
 
getClosingStrategy() - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder
 
getClosingStrategy() - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder
 
getClosingStrategy() - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder
 
getClosingStrategy() - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder
 
getClosingStrategy() - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder
 
getClosingStrategy() - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliDFABuilder
 
getClosingStrategy() - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMealyBuilder
 
getClosingStrategy() - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMooreBuilder
 
getClosingStrategy() - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireDFABuilder
 
getClosingStrategy() - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMealyBuilder
 
getClosingStrategy() - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMooreBuilder
 
getColor() - Method in class de.learnlib.datastructure.pta.AbstractBlueFringePTAState
 
getContent(int) - Method in class de.learnlib.algorithm.nlstar.Row
 
getContents() - Method in class de.learnlib.algorithm.nlstar.Row
 
getCount() - Method in class de.learnlib.filter.statistic.Counter
 
getCounterExample() - Method in class de.learnlib.algorithm.adt.model.ExtensionResult
Return the found counterexample.
getCounterExample() - Method in class de.learnlib.oracle.property.LoggingPropertyOracle
 
getCounterExample() - Method in class de.learnlib.oracle.property.PropertyOracleChain
 
getCounterExample() - Method in interface de.learnlib.oracle.PropertyOracle
Returns the counterexample for the property if PropertyOracle.isDisproved(), null otherwise.
getCounterexampleAnalyzer() - Method in class de.learnlib.algorithm.kv.dfa.KearnsVaziraniDFABuilder
 
getCounterexampleAnalyzer() - Method in class de.learnlib.algorithm.kv.mealy.KearnsVaziraniMealyBuilder
 
getCoveredRows() - Method in class de.learnlib.algorithm.nlstar.Row
 
getCoveredRows(Row<I>) - Method in class de.learnlib.algorithm.nlstar.ObservationTable
 
getCutoutNodes() - Method in class de.learnlib.algorithm.adt.model.ReplacementResult
The set of hypothesis states that are not covered on the proposed replacement.
getData() - Method in class de.learnlib.datastructure.discriminationtree.model.AbstractDTNode
 
getDefinitiveSuccessor(State<HypLoc<I>>, Word<I>) - Method in class de.learnlib.algorithm.observationpack.vpa.OPLearnerVPA
 
getDefinitiveSuccessor(State<HypLoc<I>>, Word<I>) - Method in class de.learnlib.algorithm.ttt.vpa.TTTLearnerVPA
 
getDelegate() - Method in class de.learnlib.algorithm.procedural.SymbolWrapper
 
getDepth() - Method in class de.learnlib.algorithm.observationpack.hypothesis.HState
 
getDepth() - Method in class de.learnlib.datastructure.discriminationtree.model.AbstractDTNode
 
getDetails() - Method in class de.learnlib.filter.statistic.Counter
 
getDetails() - Method in class de.learnlib.filter.statistic.CounterCollection
 
getDetails() - Method in class de.learnlib.filter.statistic.HistogramDataSet
 
getDetails() - Method in interface de.learnlib.statistic.StatisticData
 
getDeterministicState(TTTState<I, D>, Word<I>) - Method in class de.learnlib.algorithm.ttt.base.AbstractTTTLearner
 
getDeterminizedHypothesis() - Method in class de.learnlib.algorithm.nlstar.NLStarLearner
Retrieves a deterministic version of the hypothesis.
getDiscriminationTree() - Method in class de.learnlib.algorithm.kv.dfa.KearnsVaziraniDFA
 
getDiscriminationTree() - Method in class de.learnlib.algorithm.kv.mealy.KearnsVaziraniMealy
 
getDiscriminationTree() - Method in class de.learnlib.algorithm.observationpack.AbstractOPLearner
 
getDiscriminationTree() - Method in class de.learnlib.algorithm.observationpack.vpa.AbstractVPALearner
 
getDiscriminationTree() - Method in class de.learnlib.algorithm.ttt.base.AbstractTTTLearner
Returns the discrimination tree.
getDiscriminator() - Method in class de.learnlib.algorithm.ttt.base.AbstractTTTLearner.Splitter
 
getDiscriminator() - Method in class de.learnlib.algorithm.ttt.vpa.Splitter
 
getDiscriminator() - Method in class de.learnlib.datastructure.discriminationtree.model.AbstractDTNode
 
getDiscriminatorLength() - Method in class de.learnlib.algorithm.ttt.base.AbstractTTTLearner.Splitter
 
getDT() - Method in class de.learnlib.algorithm.observationpack.hypothesis.HTransition
 
getDTLeaf() - Method in class de.learnlib.algorithm.observationpack.hypothesis.HState
 
getDTLeaf() - Method in class de.learnlib.algorithm.ttt.base.TTTState
Retrieves the discrimination tree leaf associated with this state.
getDTTarget() - Method in class de.learnlib.algorithm.ttt.base.TTTTransition
 
getEdges() - Method in class de.learnlib.filter.reuse.tree.ReuseNode
Returns all outgoing ReuseEdges from this ReuseNode.
getEdgeWithInput(int) - Method in class de.learnlib.filter.reuse.tree.ReuseNode
May be null.
getEnumValue(LearnLibProperty, Class<E>) - Method in class de.learnlib.setting.LearnLibSettings
 
getEnumValue(LearnLibProperty, Class<E>, E) - Method in class de.learnlib.setting.LearnLibSettings
 
getEpsilonRoot() - Method in class de.learnlib.algorithm.observationpack.dfa.OPLearnerDFABuilder
 
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
 
getFinalHypothesis() - Method in class de.learnlib.util.Experiment
 
getFirstRow() - Method in class de.learnlib.datastructure.observationtable.Inconsistency
Retrieves the first (short prefix) row constituting the inconsistency.
getForwardAnalyzers() - Static method in class de.learnlib.acex.AcexAnalyzers
 
getGlobalSuffixes() - Method in class de.learnlib.algorithm.dhc.mealy.MealyDHC
 
getGlobalSuffixes() - Method in interface de.learnlib.algorithm.GlobalSuffixLearner
Retrieves the global suffixes of this learner.
getGlobalSuffixes() - Method in class de.learnlib.algorithm.lstar.AbstractLStar
 
getHistogram() - Method in class de.learnlib.filter.statistic.HistogramDataSet
 
getHypothesisDS() - Method in class de.learnlib.algorithm.observationpack.AbstractOPLearner
 
getHypothesisDS() - Method in class de.learnlib.algorithm.ttt.base.AbstractTTTLearner
 
getHypothesisDS() - Method in class de.learnlib.algorithm.ttt.dfa.TTTLearnerDFA
 
getHypothesisModel() - Method in class de.learnlib.algorithm.aaar.explicit.ExplicitAAARLearnerDFA
 
getHypothesisModel() - Method in class de.learnlib.algorithm.aaar.explicit.ExplicitAAARLearnerMealy
 
getHypothesisModel() - Method in class de.learnlib.algorithm.aaar.explicit.ExplicitAAARLearnerMoore
 
getHypothesisModel() - Method in class de.learnlib.algorithm.aaar.generic.GenericAAARLearnerDFA
 
getHypothesisModel() - Method in class de.learnlib.algorithm.aaar.generic.GenericAAARLearnerMealy
 
getHypothesisModel() - Method in class de.learnlib.algorithm.aaar.generic.GenericAAARLearnerMoore
 
getHypothesisModel() - Method in class de.learnlib.algorithm.adt.learner.ADTLearner
 
getHypothesisModel() - Method in class de.learnlib.algorithm.dhc.mealy.MealyDHC
 
getHypothesisModel() - Method in class de.learnlib.algorithm.kv.dfa.KearnsVaziraniDFA
 
getHypothesisModel() - Method in class de.learnlib.algorithm.kv.mealy.KearnsVaziraniMealy
 
getHypothesisModel() - Method in interface de.learnlib.algorithm.LearningAlgorithm
Returns the current hypothesis model.
getHypothesisModel() - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFA
 
getHypothesisModel() - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealy
 
getHypothesisModel() - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealy
 
getHypothesisModel() - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMoore
 
getHypothesisModel() - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMoore
 
getHypothesisModel() - Method in class de.learnlib.algorithm.nlstar.NLStarLearner
 
getHypothesisModel() - Method in class de.learnlib.algorithm.observationpack.dfa.OPLearnerDFA
 
getHypothesisModel() - Method in class de.learnlib.algorithm.observationpack.mealy.OPLearnerMealy
 
getHypothesisModel() - Method in class de.learnlib.algorithm.observationpack.moore.OPLearnerMoore
 
getHypothesisModel() - Method in class de.learnlib.algorithm.observationpack.vpa.AbstractVPALearner
 
getHypothesisModel() - Method in class de.learnlib.algorithm.oml.lstar.OptimalLStarDFA
 
getHypothesisModel() - Method in class de.learnlib.algorithm.oml.lstar.OptimalLStarMealy
 
getHypothesisModel() - Method in class de.learnlib.algorithm.oml.ttt.dfa.OptimalTTTDFA
 
getHypothesisModel() - Method in class de.learnlib.algorithm.oml.ttt.mealy.OptimalTTTMealy
 
getHypothesisModel() - Method in class de.learnlib.algorithm.procedural.sba.SBALearner
 
getHypothesisModel() - Method in class de.learnlib.algorithm.procedural.spa.SPALearner
 
getHypothesisModel() - Method in class de.learnlib.algorithm.procedural.spmm.SPMMLearner
 
getHypothesisModel() - Method in class de.learnlib.algorithm.ttt.dfa.TTTLearnerDFA
 
getHypothesisModel() - Method in class de.learnlib.algorithm.ttt.mealy.TTTLearnerMealy
 
getHypothesisModel() - Method in class de.learnlib.algorithm.ttt.moore.TTTLearnerMoore
 
getHypothesisModel() - Method in class de.learnlib.filter.statistic.learner.RefinementCounterLearner
 
getHypothesisModel() - Method in class de.learnlib.util.nfa.NFALearnerWrapper
 
getHypothesisState() - Method in class de.learnlib.algorithm.adt.adt.ADTResetNode
 
getId() - Method in class de.learnlib.algorithm.observationpack.hypothesis.HState
 
getId() - Method in class de.learnlib.filter.reuse.tree.ReuseNode
 
getIncoming() - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.DTNode
 
getIncoming() - Method in class de.learnlib.algorithm.ttt.base.AbstractBaseDTNode
 
getIncoming(O) - Method in class de.learnlib.datastructure.discriminationtree.SplitData
Retrieves the list of incoming transitions for the respective label.
getIncomingTransitions() - Method in class de.learnlib.algorithm.adt.automaton.ADTState
 
getIndex() - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.HypLoc
 
getIndex() - Method in class de.learnlib.datastructure.pta.PTATransition
 
getInitialAbstracts() - Method in class de.learnlib.algorithm.aaar.AbstractAAARLearner
 
getInitialAbstracts() - Method in class de.learnlib.algorithm.aaar.explicit.AbstractExplicitAAARLearner
 
getInitialAbstracts() - Method in interface de.learnlib.algorithm.aaar.ExplicitInitialAbstraction
Return the initial collection of abstract symbols.
getInitialAbstracts() - Method in class de.learnlib.algorithm.aaar.generic.AbstractGenericAAARLearner
 
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
 
getInitialLocation() - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.OneSEVPAHypothesis
 
getInitialPrefixes() - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder
 
getInitialPrefixes() - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder
 
getInitialPrefixes() - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder
 
getInitialPrefixes() - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder
 
getInitialPrefixes() - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder
 
getInitialRepresentatives() - Method in class de.learnlib.algorithm.aaar.AbstractAAARLearner
 
getInitialRepresentatives() - Method in class de.learnlib.algorithm.aaar.explicit.AbstractExplicitAAARLearner
 
getInitialRepresentatives() - Method in class de.learnlib.algorithm.aaar.generic.AbstractGenericAAARLearner
 
getInitialSplitters() - Method in class de.learnlib.algorithm.dhc.mealy.MealyDHCBuilder
 
getInitialState() - Method in class de.learnlib.algorithm.aaar.TranslatingDFA
 
getInitialState() - Method in class de.learnlib.algorithm.aaar.TranslatingMealyMachine
 
getInitialState() - Method in class de.learnlib.algorithm.aaar.TranslatingMooreMachine
 
getInitialState() - Method in class de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis
 
getInitialState() - Method in class de.learnlib.algorithm.ttt.base.AbstractTTTHypothesis
 
getInitialState() - Method in class de.learnlib.datastructure.pta.BasePTA
 
getInitialState() - Method in class de.learnlib.datastructure.pta.wrapper.DFAWrapper
 
getInitialState() - Method in class de.learnlib.datastructure.pta.wrapper.MealyWrapper
 
getInitialState() - Method in class de.learnlib.datastructure.pta.wrapper.MooreWrapper
 
getInitialSuffixes() - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder
 
getInitialSuffixes() - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder
 
getInitialSuffixes() - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder
 
getInitialSuffixes() - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder
 
getInitialSuffixes() - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder
 
getInitialSuffixes() - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliDFABuilder
 
getInitialSuffixes() - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMealyBuilder
 
getInitialSuffixes() - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMooreBuilder
 
getInitialSuffixes() - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireDFABuilder
 
getInitialSuffixes() - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMealyBuilder
 
getInitialSuffixes() - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMooreBuilder
 
getInput() - Method in class de.learnlib.algorithm.adt.automaton.ADTTransition
 
getInput() - Method in class de.learnlib.algorithm.ttt.base.TTTTransition
 
getInput() - Method in class de.learnlib.filter.reuse.tree.ReuseEdge
The respective input on this edge, never null.
getInput() - Method in class de.learnlib.query.Query
Retrieves the input word of this query.
getInputAlphabet() - Method in class de.learnlib.algorithm.oml.ttt.AbstractOptimalTTT
 
getInputAlphabet() - Method in class de.learnlib.algorithm.ttt.base.AbstractTTTHypothesis
 
getInputAlphabet() - Method in class de.learnlib.datastructure.observationtable.GenericObservationTable
 
getInputAlphabet() - Method in interface de.learnlib.datastructure.observationtable.ObservationTable
Retrieves the input alphabet used in this observation table.
getInputAlphabet() - Method in class de.learnlib.datastructure.observationtable.reader.SimpleObservationTable
 
getInputAlphabet() - Method in class de.learnlib.datastructure.pta.BasePTA
 
getInputAlphabet() - Method in class de.learnlib.datastructure.pta.wrapper.DFAWrapper
 
getInputAlphabet() - Method in class de.learnlib.datastructure.pta.wrapper.MealyWrapper
 
getInputAlphabet() - Method in class de.learnlib.datastructure.pta.wrapper.MooreWrapper
 
getInputs() - Method in class de.learnlib.driver.reflect.SimplePOJOTestDriver
 
getInstance() - Static method in class de.learnlib.setting.LearnLibSettings
 
getInt(LearnLibProperty, int) - Method in class de.learnlib.setting.LearnLibSettings
 
getInteger(LearnLibProperty) - Method in class de.learnlib.setting.LearnLibSettings
 
getInternalSuccessor(HypLoc<I>, I) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.OneSEVPAHypothesis
 
getInternalTransition(int) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.HypLoc
 
getInternalTransition(HypLoc<I>, I) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.OneSEVPAHypothesis
 
getInternalTransition(TTTState<I, D>, int) - Method in class de.learnlib.algorithm.ttt.base.AbstractTTTHypothesis
 
getInternalTransition(TTTState<I, D>, I) - Method in class de.learnlib.algorithm.ttt.base.AbstractTTTHypothesis
Retrieves the internal transition (i.e., the TTTTransition object) for a given state and input.
getInternalTransition(State<HypLoc<I>>, I) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.OneSEVPAHypothesis
 
getIntInitialState() - Method in class de.learnlib.algorithm.ttt.base.AbstractTTTHypothesis
 
getIntSuccessor(T) - Method in class de.learnlib.algorithm.ttt.base.AbstractTTTHypothesis
 
getLabel() - Method in interface de.learnlib.datastructure.observationtable.Row
Retrieves the label of this row.
getLabels() - Method in class de.learnlib.datastructure.discriminationtree.SplitData
 
getLCA(int) - Method in class de.learnlib.algorithm.kv.dfa.KearnsVaziraniDFA.KVAbstractCounterexample
 
getLCA(int) - Method in class de.learnlib.algorithm.kv.mealy.KearnsVaziraniMealy.KVAbstractCounterexample
 
getLeaf() - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.HypLoc
 
getLeafSplitter() - Method in class de.learnlib.algorithm.adt.learner.ADTLearnerBuilder
 
getLearner() - Method in class de.learnlib.algorithm.aaar.AbstractAAARLearner
Returns the created instance of the provided internal learner.
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
 
getLearnerAlphabet() - Method in class de.learnlib.algorithm.aaar.AbstractAAARLearner
Returns the (concrete) alphabet of the current (concrete) internal hypothesis model (cf.
getLearnerAlphabet() - Method in class de.learnlib.algorithm.aaar.explicit.AbstractExplicitAAARLearner
 
getLearnerAlphabet() - Method in class de.learnlib.algorithm.aaar.generic.AbstractGenericAAARLearner
 
getLearnerBuilder(Alphabet<ExampleCoffeeMachine.Input>, SUL<ExampleCoffeeMachine.Input, String>) - Method in class de.learnlib.testsupport.AbstractVisualizationTest
 
getLearnerHypothesisModel() - Method in class de.learnlib.algorithm.aaar.AbstractAAARLearner
Returns the (concrete) hypothesis model form the provided internal learner.
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
 
getLength() - Method in class de.learnlib.acex.AbstractBaseCounterexample
Retrieves the length of the abstract counterexample.
getLength() - Method in interface de.learnlib.acex.AbstractCounterexample
 
getLength() - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.ContextPair
 
getLocation(int) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.OneSEVPAHypothesis
 
getLocationId(HypLoc<I>) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.OneSEVPAHypothesis
 
getLocations() - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.OneSEVPAHypothesis
 
getLongPrefixes() - Method in interface de.learnlib.datastructure.observationtable.ObservationTable
Retrieves the long prefixes in the table.
getLongPrefixRows() - Method in class de.learnlib.datastructure.observationtable.GenericObservationTable
 
getLongPrefixRows() - Method in interface de.learnlib.datastructure.observationtable.ObservationTable
 
getLongPrefixRows() - Method in class de.learnlib.datastructure.observationtable.reader.SimpleObservationTable
 
getLoop() - Method in class de.learnlib.query.OmegaQuery
 
getMappedInputs() - Method in class de.learnlib.mapper.StringMapper
 
getMaxDepth() - Method in class de.learnlib.oracle.equivalence.IncrementalWMethodEQOracle
 
getMaxRounds() - Method in class de.learnlib.testsupport.it.learner.LearnerVariant
 
getMealyLearnerVariants() - Method in class de.learnlib.testsupport.it.learner.LearnerVariantListImpl.MealySymLearnerVariantListImpl
 
getMean() - Method in class de.learnlib.filter.statistic.HistogramDataSet
 
getMedian() - Method in class de.learnlib.filter.statistic.HistogramDataSet
 
getMembershipOracle() - Method in class de.learnlib.oracle.membership.AbstractSULOmegaOracle
 
getMembershipOracle() - Method in class de.learnlib.oracle.membership.SimulatorOmegaOracle.DFASimulatorOmegaOracle
 
getMembershipOracle() - Method in class de.learnlib.oracle.membership.SimulatorOmegaOracle
Gets the SimulatorOracle used to answer Querys.
getMembershipOracle() - Method in class de.learnlib.oracle.membership.SimulatorOmegaOracle.MealySimulatorOmegaOracle
 
getMembershipOracle() - Method in interface de.learnlib.oracle.OmegaMembershipOracle.DFAOmegaMembershipOracle
 
getMembershipOracle() - Method in interface de.learnlib.oracle.OmegaMembershipOracle
Returns a regular membership oracle.
getMembershipOracle() - Method in interface de.learnlib.oracle.OmegaMembershipOracle.MealyOmegaMembershipOracle
 
getMembershipOracle() - Method in class de.learnlib.oracle.parallelism.DynamicParallelOmegaOracle
 
getMembershipOracle() - Method in class de.learnlib.oracle.parallelism.StaticParallelOmegaOracle
 
getMembershipOracle() - Method in class de.learnlib.util.AbstractBFOracle
 
getMooreLearnerVariants() - Method in class de.learnlib.testsupport.it.learner.LearnerVariantListImpl.MooreSymLearnerVariantListImpl
 
getMultiplier() - Method in interface de.learnlib.oracle.AutomatonOracle
Returns the multiplier used to compute the number of queries this automaton oracle should perform to decide whether a given hypothesis is a counter example.
getMultiplier() - Method in class de.learnlib.util.AbstractBFOracle
 
getName() - Method in class de.learnlib.acex.AbstractNamedAcexAnalyzer
Retrieves the name of this analyzer.
getName() - Method in class de.learnlib.filter.statistic.AbstractStatisticData
 
getName() - Method in class de.learnlib.filter.statistic.CounterCollection
 
getName() - Method in interface de.learnlib.statistic.StatisticData
 
getName() - Method in class de.learnlib.testsupport.it.learner.LearnerVariant
 
getName() - Method in class de.learnlib.testsupport.it.learner.PassiveLearnerVariant
 
getNewDiscriminator() - Method in class de.learnlib.algorithm.ttt.vpa.Splitter
 
getNewDiscriminatorLength() - Method in class de.learnlib.algorithm.ttt.vpa.Splitter
 
getNextElement() - Method in class de.learnlib.datastructure.discriminationtree.model.AbstractTemporaryIntrusiveDTNode
 
getNextElement() - Method in interface de.learnlib.datastructure.list.IntrusiveListElem
 
getNextElement() - Method in class de.learnlib.datastructure.list.IntrusiveListElemImpl
 
getNode(int) - Method in class de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis.GraphView
 
getNodeId(HState<I, O, SP, TP>) - Method in class de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis.GraphView
 
getNodes() - Method in class de.learnlib.algorithm.aaar.abstraction.AbstractAbstractionTree
 
getNodes() - Method in interface de.learnlib.algorithm.adt.adt.ADTNode
 
getNodes() - Method in class de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis.GraphView
 
getNodes() - Method in class de.learnlib.algorithm.ttt.base.AbstractTTTHypothesis.GraphView
 
getNodes() - Method in class de.learnlib.datastructure.discriminationtree.model.AbstractDiscriminationTree
 
getNodes() - Method in class de.learnlib.filter.reuse.tree.ReuseTree
 
getNodeToReplace() - Method in class de.learnlib.algorithm.adt.model.ReplacementResult
The ADT subtree (root-node) that should be replaced.
getNodeType() - Method in class de.learnlib.algorithm.adt.adt.ADTLeafNode
 
getNodeType() - Method in interface de.learnlib.algorithm.adt.adt.ADTNode
Returns the node type of the current node.
getNodeType() - Method in class de.learnlib.algorithm.adt.adt.ADTResetNode
 
getNodeType() - Method in class de.learnlib.algorithm.adt.adt.ADTSymbolNode
 
getNondetSuccessors(Collection<? extends TTTState<I, D>>, I) - Method in class de.learnlib.algorithm.ttt.base.AbstractTTTLearner
 
getNonTreeTarget() - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.AbstractHypTrans
 
getNonTreeTarget() - Method in class de.learnlib.algorithm.ttt.base.TTTTransition
 
getNumRedStates() - Method in class de.learnlib.datastructure.pta.AbstractBlueFringePTA
 
getNumUpperRows() - Method in class de.learnlib.algorithm.nlstar.ObservationTable
 
getObservationTable() - Method in class de.learnlib.algorithm.lstar.AbstractLStar
 
getObservationTable() - Method in class de.learnlib.algorithm.nlstar.NLStarLearner
 
getObservationTable() - Method in interface de.learnlib.datastructure.observationtable.ObservationTableFeature
 
getObservationTree() - Method in class de.learnlib.algorithm.adt.model.ObservationTree
 
getOmegaMembershipOracle() - Method in class de.learnlib.oracle.emptiness.LassoEmptinessOracleImpl
 
getOracle() - Method in class de.learnlib.algorithm.adt.learner.ADTLearnerBuilder
 
getOracle() - Method in class de.learnlib.algorithm.dhc.mealy.MealyDHCBuilder
 
getOracle() - Method in class de.learnlib.algorithm.kv.dfa.KearnsVaziraniDFABuilder
 
getOracle() - Method in class de.learnlib.algorithm.kv.mealy.KearnsVaziraniMealyBuilder
 
getOracle() - Method in class de.learnlib.algorithm.lstar.dfa.ClassicLStarDFABuilder
 
getOracle() - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder
 
getOracle() - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder
 
getOracle() - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder
 
getOracle() - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder
 
getOracle() - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder
 
getOracle() - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliDFABuilder
 
getOracle() - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMealyBuilder
 
getOracle() - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMooreBuilder
 
getOracle() - Method in class de.learnlib.algorithm.nlstar.NLStarLearnerBuilder
 
getOracle() - Method in class de.learnlib.algorithm.observationpack.dfa.OPLearnerDFABuilder
 
getOracle() - Method in class de.learnlib.algorithm.observationpack.mealy.OPLearnerMealyBuilder
 
getOracle() - Method in class de.learnlib.algorithm.observationpack.moore.OPLearnerMooreBuilder
 
getOracle() - Method in class de.learnlib.algorithm.observationpack.vpa.OPLearnerVPABuilder
 
getOracle() - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireDFABuilder
 
getOracle() - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMealyBuilder
 
getOracle() - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMooreBuilder
 
getOracle() - Method in class de.learnlib.algorithm.ttt.dfa.TTTLearnerDFABuilder
 
getOracle() - Method in class de.learnlib.algorithm.ttt.mealy.TTTLearnerMealyBuilder
 
getOracle() - Method in class de.learnlib.algorithm.ttt.moore.TTTLearnerMooreBuilder
 
getOracle() - Method in class de.learnlib.algorithm.ttt.vpa.TTTLearnerVPABuilder
 
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
 
getOrCreateState(IntSeq) - Method in class de.learnlib.datastructure.pta.BasePTA
Retrieves the state reached by the given word.
getOrCreateSuccessor(int, int) - Method in class de.learnlib.datastructure.pta.AbstractBasePTAState
 
getOutgoingEdges(ReuseNode<S, I, O>) - Method in class de.learnlib.filter.reuse.tree.ReuseTree
 
getOutgoingEdges(Node) - Method in class de.learnlib.algorithm.aaar.abstraction.AbstractAbstractionTree
 
getOutgoingEdges(HState<I, O, SP, TP>) - Method in class de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis.GraphView
 
getOutgoingEdges(TTTState<I, D>) - Method in class de.learnlib.algorithm.ttt.base.AbstractTTTHypothesis.GraphView
 
getOutgoingEdges(N) - Method in class de.learnlib.datastructure.discriminationtree.model.AbstractDiscriminationTree
 
getOutgoingTransitions() - Method in class de.learnlib.algorithm.observationpack.hypothesis.HState
 
getOutput() - Method in class de.learnlib.algorithm.adt.automaton.ADTTransition
 
getOutput() - Method in class de.learnlib.algorithm.ttt.mealy.TTTTransitionMealy
 
getOutput() - Method in class de.learnlib.algorithm.ttt.moore.TTTStateMoore
 
getOutput() - Method in class de.learnlib.filter.reuse.tree.ReuseEdge
The respective output on this edge.
getOutput() - Method in class de.learnlib.query.DefaultQuery
 
getOutput() - Method in class de.learnlib.query.OmegaQuery
 
getOutput(Word<I>) - Method in class de.learnlib.filter.reuse.tree.ReuseTree
Returns the known output for the given query or null if not known.
getOutput(Word<I>, int) - Method in class de.learnlib.algorithm.oml.lstar.OptimalLStarDFA
 
getOutput(Word<I>, int) - Method in class de.learnlib.algorithm.oml.lstar.OptimalLStarMealy
 
getOutputForSuccessor(ADTNode<S, I, O>, ADTNode<S, I, O>) - Static method in class de.learnlib.algorithm.adt.util.ADTUtil
 
getParent() - Method in class de.learnlib.algorithm.adt.adt.ADTResetNode
 
getParent() - Method in class de.learnlib.datastructure.discriminationtree.model.AbstractDTNode
 
getParentOutcome() - Method in class de.learnlib.datastructure.discriminationtree.model.AbstractDTNode
 
getParentTransition() - Method in class de.learnlib.algorithm.ttt.base.TTTState
 
getPartialOutput(Word<I>) - Method in class de.learnlib.filter.reuse.tree.ReuseTree
Returns the known output for "reflexive" edges in the tree for the given query.
getPeriodicity() - Method in class de.learnlib.query.OmegaQuery
 
getPrefix() - Method in class de.learnlib.algorithm.nlstar.Row
 
getPrefix() - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.ContextPair
 
getPrefix() - Method in class de.learnlib.query.AbstractQuery
 
getPrefix() - Method in class de.learnlib.query.OmegaQuery
 
getPrefix() - Method in class de.learnlib.query.Query
Returns the prefix part of this query.
getPrevElement() - Method in class de.learnlib.datastructure.discriminationtree.model.AbstractTemporaryIntrusiveDTNode
 
getPriority() - Method in class de.learnlib.setting.sources.LearnLibLocalPropertiesAutomataLibSettingsSource
 
getPriority() - Method in class de.learnlib.setting.sources.LearnLibPropertiesAutomataLibSettingsSource
 
getProcessor() - Method in class de.learnlib.oracle.parallelism.AbstractDynamicBatchProcessor
 
getProcessor() - Method in class de.learnlib.oracle.parallelism.AbstractStaticBatchProcessor
 
getProperty() - Method in class de.learnlib.algorithm.observationpack.hypothesis.HState
 
getProperty() - Method in class de.learnlib.algorithm.observationpack.hypothesis.HTransition
 
getProperty() - Method in class de.learnlib.algorithm.ttt.base.TTTTransition
 
getProperty() - Method in class de.learnlib.algorithm.ttt.mealy.TTTTransitionMealy
 
getProperty() - Method in class de.learnlib.datastructure.pta.AbstractBasePTAState
 
getProperty() - Method in class de.learnlib.oracle.property.LoggingPropertyOracle
 
getProperty() - Method in class de.learnlib.oracle.property.PropertyOracleChain
 
getProperty() - Method in interface de.learnlib.oracle.PropertyOracle
Returns the property.
getProperty(LearnLibProperty) - Method in class de.learnlib.setting.LearnLibSettings
 
getProperty(LearnLibProperty, String) - Method in class de.learnlib.setting.LearnLibSettings
 
getPropertyKey() - Method in enum de.learnlib.setting.LearnLibProperty
Returns the actual system property key of the property.
getPropertyOracles() - Method in interface de.learnlib.oracle.BlackBoxOracle
Returns the property oracles that this black-box oracle uses to evaluate properties.
getPropertyOracles() - Method in class de.learnlib.oracle.equivalence.CExFirstOracle
 
getPropertyOracles() - Method in class de.learnlib.oracle.equivalence.DisproveFirstOracle
 
getQueryCounter() - Method in class de.learnlib.filter.statistic.oracle.CounterOracle
Retrieves Counter for the number of queries posed to this oracle.
getQueryState(ObservableSUL<S, I, O>) - Method in class de.learnlib.oracle.membership.AbstractSULOmegaOracle
 
getRedState() - Method in class de.learnlib.datastructure.pta.RedBlueMerge
 
getRedState(@org.checkerframework.checker.index.qual.NonNegative int) - Method in class de.learnlib.datastructure.pta.AbstractBlueFringePTA
 
getRedStates() - Method in class de.learnlib.datastructure.pta.AbstractBlueFringePTA
 
getReferenceAutomaton() - Method in class de.learnlib.example.DefaultLearningExample.DefaultOneSEVPALearningExample
 
getReferenceAutomaton() - Method in class de.learnlib.example.DefaultLearningExample.DefaultSBALearningExample
 
getReferenceAutomaton() - Method in class de.learnlib.example.DefaultLearningExample.DefaultSPALearningExample
 
getReferenceAutomaton() - Method in class de.learnlib.example.DefaultLearningExample.DefaultSPMMLearningExample
 
getReferenceAutomaton() - Method in class de.learnlib.example.DefaultLearningExample
 
getReferenceAutomaton() - Method in interface de.learnlib.example.LearningExample
 
getReferenceAutomaton() - Method in class de.learnlib.example.mealy.ExampleRandomStateLocalInputMealy
 
getRepeat() - Method in class de.learnlib.query.OmegaQuery
 
getRepeatedCounterexampleEvaluation() - Method in class de.learnlib.algorithm.kv.dfa.KearnsVaziraniDFABuilder
 
getRepeatedCounterexampleEvaluation() - Method in class de.learnlib.algorithm.kv.mealy.KearnsVaziraniMealyBuilder
 
getRepeatedCounterexampleEvaluation() - Method in class de.learnlib.algorithm.observationpack.dfa.OPLearnerDFABuilder
 
getRepeatedCounterexampleEvaluation() - Method in class de.learnlib.algorithm.observationpack.mealy.OPLearnerMealyBuilder
 
getRepeatedCounterexampleEvaluation() - Method in class de.learnlib.algorithm.observationpack.moore.OPLearnerMooreBuilder
 
getReplacement() - Method in class de.learnlib.algorithm.adt.model.ExtensionResult
Return the proposed replacement.
getReplacement() - Method in class de.learnlib.algorithm.adt.model.ReplacementResult
The ADT subtree (root-node) that forms the replacement.
getRepresentative(AI) - Method in class de.learnlib.algorithm.aaar.abstraction.AbstractAbstractionTree
 
getRepresentative(AI) - Method in interface de.learnlib.algorithm.aaar.Abstraction
Returns the (concrete) representative for a given abstract symbol.
getRepresentativeSymbols() - Method in class de.learnlib.algorithm.aaar.abstraction.AbstractAbstractionTree
 
getResetCount() - Method in class de.learnlib.filter.statistic.oracle.CounterSymbolQueryOracle
 
getReturnSequence(I) - Method in interface de.learnlib.algorithm.procedural.spa.ATRManager
Returns a return sequence for the given procedure.
getReturnSequence(I) - Method in class de.learnlib.algorithm.procedural.spa.manager.DefaultATRManager
 
getReturnSequence(I) - Method in class de.learnlib.algorithm.procedural.spa.manager.OptimizingATRManager
 
getReturnSuccessor(HypLoc<I>, I, int) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.OneSEVPAHypothesis
 
getReturnTransition(int, int) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.HypLoc
 
getReturnTransition(HypLoc<I>, I, int) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.OneSEVPAHypothesis
 
getReturnTransition(HypLoc<I>, I, HypLoc<I>, I) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.OneSEVPAHypothesis
 
getReuseCapableOracle() - Method in class de.learnlib.filter.reuse.ReuseOracle
Returns the ReuseCapableOracle used by this instance.
getReuseTree() - Method in class de.learnlib.filter.reuse.ReuseOracle
Returns the ReuseTree used by this instance.
getRoot() - Method in class de.learnlib.algorithm.adt.adt.ADT
Returns the root node of this ADT.
getRoot() - Method in class de.learnlib.datastructure.discriminationtree.model.AbstractDiscriminationTree
 
getRoot() - Method in class de.learnlib.datastructure.pta.BasePTA
Retrieves the root of the PTA.
getRoot() - Method in class de.learnlib.filter.reuse.tree.ReuseTree
Returns the root ReuseNode of the ReuseTree.
getRounds() - Method in class de.learnlib.testsupport.AbstractResumableLearnerTest
 
getRounds() - Method in class de.learnlib.util.Experiment
 
getRow(int) - Method in class de.learnlib.datastructure.observationtable.GenericObservationTable
 
getRow(int) - Method in interface de.learnlib.datastructure.observationtable.ObservationTable
Returns the specified row of the observation table.
getRow(int) - Method in class de.learnlib.datastructure.observationtable.reader.SimpleObservationTable
 
getRow(Word<I>) - Method in interface de.learnlib.datastructure.observationtable.ObservationTable
 
getRow(Word<I>) - Method in class de.learnlib.datastructure.observationtable.reader.SimpleObservationTable
 
getRow1() - Method in class de.learnlib.algorithm.nlstar.Inconsistency
 
getRow2() - Method in class de.learnlib.algorithm.nlstar.Inconsistency
 
getRowContentId() - Method in interface de.learnlib.datastructure.observationtable.Row
Retrieves the unique identifier associated with the content of this row (may be -1 if this row has not yet been initialized).
getRowId() - Method in interface de.learnlib.datastructure.observationtable.Row
Retrieves the unique row identifier associated with this row.
getRowSuccessor(Row<I>, I) - Method in interface de.learnlib.datastructure.observationtable.ObservationTable
 
getSamples() - Method in class de.learnlib.example.DefaultPassiveLearningExample
 
getSamples() - Method in interface de.learnlib.example.PassiveLearningExample
 
getSecondRow() - Method in class de.learnlib.datastructure.observationtable.Inconsistency
Retrieves the second (short prefix) row constituting the inconsistency.
getShortPrefixes() - Method in class de.learnlib.algorithm.oml.ttt.dt.DTLeaf
 
getShortPrefixes() - Method in interface de.learnlib.datastructure.observationtable.ObservationTable
Retrieves the short prefixes in the table.
getShortPrefixRows() - Method in class de.learnlib.datastructure.observationtable.GenericObservationTable
 
getShortPrefixRows() - Method in interface de.learnlib.datastructure.observationtable.ObservationTable
 
getShortPrefixRows() - Method in class de.learnlib.datastructure.observationtable.reader.SimpleObservationTable
 
getSiftNode() - Method in class de.learnlib.algorithm.adt.automaton.ADTTransition
 
getSize() - Method in class de.learnlib.filter.statistic.HistogramDataSet
 
getSource() - Method in class de.learnlib.algorithm.adt.automaton.ADTTransition
 
getSource() - Method in class de.learnlib.algorithm.observationpack.hypothesis.HTransition
 
getSource() - Method in class de.learnlib.algorithm.ttt.base.TTTTransition
 
getSource() - Method in class de.learnlib.datastructure.pta.PTATransition
 
getSource() - Method in class de.learnlib.filter.reuse.tree.ReuseEdge
The source node from this edge.
getSplitData() - Method in class de.learnlib.datastructure.discriminationtree.model.AbstractTemporaryIntrusiveDTNode
 
getSplitterTrans(HypLoc<I>, Splitter<I>) - Method in class de.learnlib.algorithm.ttt.vpa.TTTLearnerVPA
 
getStartOfADS(ADTNode<S, I, O>) - Static method in class de.learnlib.algorithm.adt.util.ADTUtil
 
getState() - Method in class de.learnlib.driver.simulator.ObservableMealySimulatorSUL
 
getState() - Method in class de.learnlib.filter.statistic.sul.ResetCounterObservableSUL
 
getState() - Method in class de.learnlib.filter.statistic.sul.SymbolCounterObservableSUL
 
getState() - Method in interface de.learnlib.sul.ObservableSUL
Returns the current state of the system.
getState(int) - Method in class de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis
 
getState(Word<I>) - Method in class de.learnlib.algorithm.oml.ttt.AbstractOptimalTTT
 
getState(Word<I>) - Method in class de.learnlib.algorithm.oml.ttt.dfa.OptimalTTTDFA
 
getState(Word<I>) - Method in class de.learnlib.algorithm.oml.ttt.mealy.OptimalTTTMealy
 
getStateId(HState<I, O, SP, TP>) - Method in class de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis
 
getStateInfo(int) - Method in class de.learnlib.algorithm.kv.dfa.KearnsVaziraniDFA.KVAbstractCounterexample
 
getStateInfo(int) - Method in class de.learnlib.algorithm.kv.mealy.KearnsVaziraniMealy.KVAbstractCounterexample
 
getStateLabel() - Method in class de.learnlib.datastructure.discriminationtree.SplitData
Retrieves the state label associated with this split data.
getStateOutput(TTTStateMoore<I, O>) - Method in class de.learnlib.algorithm.ttt.moore.TTTHypothesisMoore
 
getStateOutput(S) - Method in class de.learnlib.algorithm.aaar.TranslatingMooreMachine
 
getStateOutput(S) - Method in class de.learnlib.datastructure.pta.wrapper.MooreWrapper
 
getStateProperty() - Method in class de.learnlib.datastructure.pta.AbstractBasePTAState
 
getStateProperty(int) - Method in class de.learnlib.algorithm.ttt.dfa.TTTHypothesisDFA
 
getStateProperty(int) - Method in class de.learnlib.algorithm.ttt.mealy.TTTHypothesisMealy
 
getStateProperty(int) - Method in class de.learnlib.algorithm.ttt.moore.TTTHypothesisMoore
 
getStateProperty(HState<I, O, SP, TP>) - Method in class de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis
 
getStateProperty(S) - Method in class de.learnlib.datastructure.pta.BasePTA
 
getStates() - Method in class de.learnlib.algorithm.aaar.TranslatingDFA
 
getStates() - Method in class de.learnlib.algorithm.aaar.TranslatingMealyMachine
 
getStates() - Method in class de.learnlib.algorithm.aaar.TranslatingMooreMachine
 
getStates() - Method in class de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis
 
getStates() - Method in class de.learnlib.algorithm.ttt.base.AbstractTTTHypothesis
 
getStates() - Method in class de.learnlib.datastructure.pta.BasePTA
 
getStates() - Method in class de.learnlib.datastructure.pta.wrapper.DFAWrapper
 
getStates() - Method in class de.learnlib.datastructure.pta.wrapper.MealyWrapper
 
getStates() - Method in class de.learnlib.datastructure.pta.wrapper.MooreWrapper
 
getStatisticalData() - Method in class de.learnlib.filter.statistic.learner.RefinementCounterLearner
 
getStatisticalData() - Method in class de.learnlib.filter.statistic.oracle.CounterOracle
 
getStatisticalData() - Method in class de.learnlib.filter.statistic.oracle.HistogramOracle
 
getStatisticalData() - Method in class de.learnlib.filter.statistic.sul.ResetCounterSUL
 
getStatisticalData() - Method in class de.learnlib.filter.statistic.sul.SLICounterStateLocalInputSUL
 
getStatisticalData() - Method in class de.learnlib.filter.statistic.sul.SymbolCounterSUL
 
getStatisticalData() - Method in interface de.learnlib.statistic.StatisticCollector
Returns this statistical data gathered by this collector.
getSubsequentStepsOutput() - Method in class de.learnlib.exception.MappedException
 
getSubtreeReplacer() - Method in class de.learnlib.algorithm.adt.learner.ADTLearnerBuilder
 
getSuccessor(int) - Method in interface de.learnlib.datastructure.observationtable.Row
Retrieves the successor row for this short label row and the given alphabet symbol (by index).
getSuccessor(int) - Method in class de.learnlib.datastructure.pta.AbstractBasePTAState
 
getSuccessor(ADTTransition<I, O>) - Method in class de.learnlib.algorithm.adt.automaton.ADTHypothesis
 
getSuccessor(HTransition<I, O, SP, TP>) - Method in class de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis
 
getSuccessor(TTTStateDFA<I>) - Method in class de.learnlib.algorithm.ttt.dfa.TTTHypothesisDFA
 
getSuccessor(TTTTransitionMealy<I, O>) - Method in class de.learnlib.algorithm.ttt.mealy.TTTHypothesisMealy
 
getSuccessor(TTTStateMoore<I, O>) - Method in class de.learnlib.algorithm.ttt.moore.TTTHypothesisMoore
 
getSuccessor(PTATransition<S>) - Method in class de.learnlib.datastructure.pta.BasePTA
 
getSuccessor(PTATransition<S>) - Method in class de.learnlib.datastructure.pta.wrapper.MealyWrapper
 
getSuccessor(PTATransition<S>) - Method in class de.learnlib.datastructure.pta.wrapper.MooreWrapper
 
getSuccessor(S, Integer) - Method in class de.learnlib.datastructure.pta.BasePTA
 
getSuccessor(T) - Method in class de.learnlib.algorithm.aaar.TranslatingMealyMachine
 
getSuccessor(T) - Method in class de.learnlib.algorithm.aaar.TranslatingMooreMachine
 
getSuffix() - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.ContextPair
 
getSuffix() - Method in class de.learnlib.algorithm.observationpack.vpa.OPLearnerVPA.PrefixTransformAcex
 
getSuffix() - Method in class de.learnlib.query.AbstractQuery
 
getSuffix() - Method in class de.learnlib.query.Query
Returns the suffix part of this query.
getSuffix(int) - Method in class de.learnlib.algorithm.nlstar.ObservationTable
 
getSuffix(int) - Method in interface de.learnlib.datastructure.observationtable.ObservationTable
Retrieves a suffix by its (column) index.
getSuffixes() - Method in class de.learnlib.datastructure.observationtable.GenericObservationTable
 
getSuffixes() - Method in interface de.learnlib.datastructure.observationtable.ObservationTable
Retrieves all suffixes in the table.
getSuffixes() - Method in class de.learnlib.datastructure.observationtable.reader.SimpleObservationTable
 
getSuffixFinder() - Method in class de.learnlib.algorithm.dhc.mealy.MealyDHCBuilder
 
getSuffixFinder() - Method in class de.learnlib.algorithm.observationpack.dfa.OPLearnerDFABuilder
 
getSuffixFinder() - Method in class de.learnlib.algorithm.observationpack.mealy.OPLearnerMealyBuilder
 
getSuffixFinder() - Method in class de.learnlib.algorithm.observationpack.moore.OPLearnerMooreBuilder
 
getSuffixIdx() - Method in class de.learnlib.algorithm.nlstar.Inconsistency
 
getSul() - Method in class de.learnlib.oracle.membership.AbstractSULOmegaOracle
Gets the ObservableSUL.
getSum() - Method in class de.learnlib.filter.statistic.HistogramDataSet
 
getSummary() - Method in class de.learnlib.filter.statistic.Counter
 
getSummary() - Method in class de.learnlib.filter.statistic.CounterCollection
 
getSummary() - Method in class de.learnlib.filter.statistic.HistogramDataSet
 
getSummary() - Method in interface de.learnlib.statistic.StatisticData
 
getSupportedAnnotationTypes() - Method in class de.learnlib.buildtool.refinement.processor.RefinementProcessor
 
getSymbol() - Method in class de.learnlib.algorithm.adt.adt.ADTResetNode
 
getSymbol() - Method in class de.learnlib.algorithm.observationpack.hypothesis.HTransition
 
getSymbol() - Method in class de.learnlib.datastructure.observationtable.Inconsistency
Retrieves the symbol for which's one-letter extensions the corresponding rows have different contents.
getSymbolCount() - Method in class de.learnlib.filter.statistic.oracle.CounterSymbolQueryOracle
 
getSymbolCounter() - Method in class de.learnlib.filter.statistic.oracle.CounterOracle
Retrieves the Counter for the number of symbols in all queries posed to this oracle.
getSymbolIdx() - Method in class de.learnlib.algorithm.nlstar.Inconsistency
 
getTarget() - Method in class de.learnlib.algorithm.adt.automaton.ADTTransition
 
getTarget() - Method in class de.learnlib.algorithm.ttt.base.TTTTransition
 
getTarget() - Method in class de.learnlib.datastructure.pta.PTATransition
 
getTarget() - Method in class de.learnlib.filter.reuse.tree.ReuseEdge
The target node from this edge.
getTarget(ReuseEdge<S, I, O>) - Method in class de.learnlib.filter.reuse.tree.ReuseTree
 
getTarget(Node) - Method in class de.learnlib.algorithm.aaar.abstraction.AbstractAbstractionTree
 
getTarget(HTransition<I, O, SP, TP>) - Method in class de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis.GraphView
 
getTarget(AbstractTTTHypothesis.TTTEdge<I, D>) - Method in class de.learnlib.algorithm.ttt.base.AbstractTTTHypothesis.GraphView
 
getTarget(Map.Entry<O, N>) - Method in class de.learnlib.datastructure.discriminationtree.model.AbstractDiscriminationTree
 
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
 
getTargetLocation() - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.AbstractHypTrans
 
getTargetNode() - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.AbstractHypTrans
 
getTargetNodeForInput(int) - Method in class de.learnlib.filter.reuse.tree.ReuseNode
 
getTerminatingSequence(I) - Method in interface de.learnlib.algorithm.procedural.sba.ATManager
Returns a terminating sequence for the given procedure.
getTerminatingSequence(I) - Method in class de.learnlib.algorithm.procedural.sba.manager.DefaultATManager
 
getTerminatingSequence(I) - Method in class de.learnlib.algorithm.procedural.sba.manager.OptimizingATManager
 
getTerminatingSequence(I) - Method in interface de.learnlib.algorithm.procedural.spa.ATRManager
Returns a terminating sequence for the given procedure.
getTerminatingSequence(I) - Method in class de.learnlib.algorithm.procedural.spa.manager.DefaultATRManager
 
getTerminatingSequence(I) - Method in class de.learnlib.algorithm.procedural.spa.manager.OptimizingATRManager
 
getTerminatingSequence(I) - Method in interface de.learnlib.algorithm.procedural.spmm.ATManager
Returns a terminating sequence for the given procedure.
getTerminatingSequence(I) - Method in class de.learnlib.algorithm.procedural.spmm.manager.DefaultATManager
 
getTerminatingSequence(I) - Method in class de.learnlib.algorithm.procedural.spmm.manager.OptimizingATManager
 
getTestName() - Method in class de.learnlib.testsupport.it.learner.PassiveLearnerVariantITCase
 
getThisStepOutput() - Method in class de.learnlib.exception.MappedException
 
getTransition(int) - Method in class de.learnlib.algorithm.observationpack.hypothesis.HState
 
getTransition(int) - Method in class de.learnlib.algorithm.ttt.base.TTTState
 
getTransition(int, int) - Method in class de.learnlib.algorithm.ttt.base.AbstractTTTHypothesis
 
getTransition(HState<I, O, SP, TP>, I) - Method in class de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis
 
getTransition(S, CI) - Method in class de.learnlib.algorithm.aaar.TranslatingDFA
 
getTransition(S, CI) - Method in class de.learnlib.algorithm.aaar.TranslatingMealyMachine
 
getTransition(S, CI) - Method in class de.learnlib.algorithm.aaar.TranslatingMooreMachine
 
getTransition(S, I) - Method in class de.learnlib.algorithm.ttt.base.AbstractTTTHypothesis
 
getTransition(S, I) - Method in class de.learnlib.datastructure.pta.wrapper.DFAWrapper
 
getTransition(S, I) - Method in class de.learnlib.datastructure.pta.wrapper.MealyWrapper
 
getTransition(S, I) - Method in class de.learnlib.datastructure.pta.wrapper.MooreWrapper
 
getTransition(S, Integer) - Method in class de.learnlib.datastructure.pta.BasePTA
 
getTransitionOutput(ADTTransition<I, O>) - Method in class de.learnlib.algorithm.adt.automaton.ADTHypothesis
 
getTransitionOutput(TTTTransitionMealy<I, O>) - Method in class de.learnlib.algorithm.ttt.mealy.TTTHypothesisMealy
 
getTransitionOutput(PTATransition<S>) - Method in class de.learnlib.datastructure.pta.wrapper.MealyWrapper
 
getTransitionOutput(T) - Method in class de.learnlib.algorithm.aaar.TranslatingMealyMachine
 
getTransitionProperty(HTransition<I, O, SP, TP>) - Method in class de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis
 
getTransitionProperty(TTTStateDFA<I>) - Method in class de.learnlib.algorithm.ttt.dfa.TTTHypothesisDFA
 
getTransitionProperty(TTTTransitionMealy<I, O>) - Method in class de.learnlib.algorithm.ttt.mealy.TTTHypothesisMealy
 
getTransitionProperty(TTTStateMoore<I, O>) - Method in class de.learnlib.algorithm.ttt.moore.TTTHypothesisMoore
 
getTransitionProperty(PTATransition<S>) - Method in class de.learnlib.datastructure.pta.BasePTA
 
getTransitions() - Method in class de.learnlib.algorithm.ttt.base.TTTState
 
getTranslatingHypothesisModel() - Method in class de.learnlib.algorithm.aaar.AbstractAAARLearner
Returns a model of the current internal hypothesis model (cf.
getTranslatingHypothesisModel() - Method in class de.learnlib.algorithm.aaar.explicit.ExplicitAAARLearnerDFA
 
getTranslatingHypothesisModel() - Method in class de.learnlib.algorithm.aaar.explicit.ExplicitAAARLearnerMealy
 
getTranslatingHypothesisModel() - Method in class de.learnlib.algorithm.aaar.explicit.ExplicitAAARLearnerMoore
 
getTranslatingHypothesisModel() - Method in class de.learnlib.algorithm.aaar.generic.GenericAAARLearnerDFA
 
getTranslatingHypothesisModel() - Method in class de.learnlib.algorithm.aaar.generic.GenericAAARLearnerMealy
 
getTranslatingHypothesisModel() - Method in class de.learnlib.algorithm.aaar.generic.GenericAAARLearnerMoore
 
getTransProperty(int) - Method in class de.learnlib.datastructure.pta.AbstractBasePTAState
 
getTreeForRepresentative(CI) - Method in class de.learnlib.algorithm.aaar.AbstractAAARLearner
 
getTreeForRepresentative(CI) - Method in class de.learnlib.algorithm.aaar.explicit.AbstractExplicitAAARLearner
 
getTreeForRepresentative(CI) - Method in class de.learnlib.algorithm.aaar.generic.AbstractGenericAAARLearner
 
getTreeIncoming() - Method in class de.learnlib.algorithm.observationpack.hypothesis.HState
 
getTreeTarget() - Method in class de.learnlib.algorithm.observationpack.hypothesis.HTransition
 
getTreeTarget() - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.AbstractHypTrans
 
getTreeTarget() - Method in class de.learnlib.algorithm.ttt.base.TTTTransition
 
getUndefinedOutput() - Method in interface de.learnlib.example.LearningExample.StateLocalInputMealyLearningExample
 
getUndefinedOutput() - Method in class de.learnlib.example.mealy.ExampleRandomStateLocalInputMealy
 
getUnit() - Method in class de.learnlib.filter.statistic.AbstractStatisticData
 
getUnit() - Method in class de.learnlib.filter.statistic.CounterCollection
 
getUnit() - Method in interface de.learnlib.statistic.StatisticData
 
getUpperId() - Method in class de.learnlib.algorithm.nlstar.Row
 
getUpperPrimes() - Method in class de.learnlib.algorithm.nlstar.ObservationTable
 
getUpperRow(int) - Method in class de.learnlib.algorithm.nlstar.ObservationTable
 
getUpperRows() - Method in class de.learnlib.algorithm.nlstar.ObservationTable
 
getUseObservationTree() - Method in class de.learnlib.algorithm.adt.learner.ADTLearnerBuilder
 
getValue() - Method in class de.learnlib.driver.reflect.ReturnValue
 
getVisualizationHelper() - Method in class de.learnlib.algorithm.aaar.abstraction.AbstractAbstractionTree
 
getVisualizationHelper() - Method in interface de.learnlib.algorithm.adt.adt.ADTNode
 
getVisualizationHelper() - Method in class de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis.GraphView
 
getVisualizationHelper() - Method in class de.learnlib.algorithm.ttt.base.AbstractTTTHypothesis.GraphView
 
getVisualizationHelper() - Method in class de.learnlib.algorithm.ttt.base.BaseTTTDiscriminationTree
 
getVisualizationHelper() - Method in class de.learnlib.datastructure.discriminationtree.model.AbstractDiscriminationTree
 
getVisualizationHelper() - Method in class de.learnlib.filter.reuse.tree.ReuseTree
 
GlobalSuffixFinder<I,​D> - Interface in de.learnlib.counterexample
Interface for a global suffix finder.
GlobalSuffixFinders - Class in de.learnlib.counterexample
A collection of suffix-based global counterexample analyzers.
GlobalSuffixLearner<M,​I,​D> - Interface in de.learnlib.algorithm
Common interface for learning algorithms that use a global suffix set.
GlobalSuffixLearner.GlobalSuffixLearnerDFA<I> - Interface in de.learnlib.algorithm
 
GlobalSuffixLearner.GlobalSuffixLearnerMealy<I,​O> - Interface in de.learnlib.algorithm
 
graphView() - Method in class de.learnlib.algorithm.aaar.abstraction.AbstractAbstractionTree
 
graphView() - Method in class de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis
 
graphView() - Method in class de.learnlib.algorithm.ttt.base.AbstractTTTHypothesis
 
GraphView() - Constructor for class de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis.GraphView
 
GraphView() - Constructor for class de.learnlib.algorithm.ttt.base.AbstractTTTHypothesis.GraphView
 

H

handleClassicLStar(DefaultQuery<I, D>, MutableObservationTable<I, D>, MembershipOracle<I, D>) - Static method in class de.learnlib.algorithm.lstar.ce.ObservationTableCEXHandlers
 
handleCounterexample(DefaultQuery<RI, RD>, MutableObservationTable<RI, RD>, SuffixOutput<RI, RD>, MembershipOracle<RI, RD>) - Method in interface de.learnlib.algorithm.lstar.ce.ObservationTableCEXHandler
 
handleGlobalSuffixes(MutableObservationTable<I, D>, List<? extends Word<I>>, MembershipOracle<I, D>) - Static method in class de.learnlib.algorithm.lstar.ce.ObservationTableCEXHandlers
 
handleLocalSuffix(Query<I, D>, MutableObservationTable<I, D>, int, boolean, MembershipOracle<I, D>) - Static method in class de.learnlib.algorithm.lstar.ce.ObservationTableCEXHandlers
 
handleLocalSuffix(Query<I, D>, MutableObservationTable<I, D>, int, MembershipOracle<I, D>) - Static method in class de.learnlib.algorithm.lstar.ce.ObservationTableCEXHandlers
 
handleSuffix1by1(DefaultQuery<I, D>, MutableObservationTable<I, D>, MembershipOracle<I, D>) - Static method in class de.learnlib.algorithm.lstar.ce.ObservationTableCEXHandlers
 
hashCode() - Method in class de.learnlib.driver.reflect.Error
 
hashCode() - Method in class de.learnlib.driver.reflect.ReturnValue
 
hashCode() - Method in class de.learnlib.query.OmegaQuery
 
hashCode() - Method in class de.learnlib.query.Query
 
hasStateLabel() - Method in class de.learnlib.datastructure.discriminationtree.SplitData
Checks whether there is a state label associated with this node, regardless of its value.
hasSystemStates() - Method in class de.learnlib.filter.reuse.tree.ReuseNode
 
hasUnlabeled() - Method in class de.learnlib.algorithm.ttt.dfa.PrefixTTTLearnerDFA.ExtDTNode
 
HistogramDataSet - Class in de.learnlib.filter.statistic
A simple histogram data set.
HistogramDataSet(String, String) - Constructor for class de.learnlib.filter.statistic.HistogramDataSet
 
HistogramOracle<I,​D> - Class in de.learnlib.filter.statistic.oracle
Collects a histogram of passed query lengths.
HistogramOracle(MembershipOracle<I, D>, String) - Constructor for class de.learnlib.filter.statistic.oracle.HistogramOracle
 
HState<I,​O,​SP,​TP> - Class in de.learnlib.algorithm.observationpack.hypothesis
 
HState(int) - Constructor for class de.learnlib.algorithm.observationpack.hypothesis.HState
 
HState(int, int, HTransition<I, O, SP, TP>) - Constructor for class de.learnlib.algorithm.observationpack.hypothesis.HState
 
HTransition<I,​O,​SP,​TP> - Class in de.learnlib.algorithm.observationpack.hypothesis
 
HTransition(HState<I, O, SP, TP>, I, AbstractWordBasedDTNode<I, O, HState<I, O, SP, TP>>) - Constructor for class de.learnlib.algorithm.observationpack.hypothesis.HTransition
 
HypIntTrans<I> - Class in de.learnlib.algorithm.observationpack.vpa.hypothesis
 
HypIntTrans(HypLoc<I>, I) - Constructor for class de.learnlib.algorithm.observationpack.vpa.hypothesis.HypIntTrans
 
HypLoc<I> - Class in de.learnlib.algorithm.observationpack.vpa.hypothesis
 
HypLoc(VPAlphabet<I>, int, boolean, AbstractHypTrans<I>) - Constructor for class de.learnlib.algorithm.observationpack.vpa.hypothesis.HypLoc
 
hypothesis - Variable in class de.learnlib.algorithm.observationpack.vpa.AbstractVPALearner
 
hypothesis - Variable in class de.learnlib.algorithm.ttt.base.AbstractTTTLearner
 
HYPOTHESIS_MODIFICATION_EXCEPTION - Static variable in interface de.learnlib.algorithm.adt.api.PartialTransitionAnalyzer
Global exception instance to avoid (unnecessary) re-instantiation.
HypothesisChangedException - Exception in de.learnlib.algorithm.ttt.base
Exception to indicate structural changes of the hypothesis during counterexample analysis, thus possibly invalidating the counterexample.
HypothesisChangedException() - Constructor for exception de.learnlib.algorithm.ttt.base.HypothesisChangedException
 
hypothesisOutput() - Method in class de.learnlib.algorithm.lstar.AbstractLStar
 
hypothesisOutput() - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFA
 
hypothesisOutput() - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealy
 
hypothesisOutput() - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealy
 
hypothesisOutput() - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMoore
 
hypothesisOutput() - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMoore
 
hypOutput(Word<I>) - Method in class de.learnlib.algorithm.oml.ttt.dfa.OptimalTTTDFA
 
hypOutput(Word<I>, int) - Method in class de.learnlib.algorithm.oml.ttt.AbstractOptimalTTT
 
hypOutput(Word<I>, int) - Method in class de.learnlib.algorithm.oml.ttt.dfa.OptimalTTTDFA
 
hypOutput(Word<I>, int) - Method in class de.learnlib.algorithm.oml.ttt.mealy.OptimalTTTMealy
 
HypRetTrans<I> - Class in de.learnlib.algorithm.observationpack.vpa.hypothesis
 
HypRetTrans(HypLoc<I>, I, I, HypLoc<I>) - Constructor for class de.learnlib.algorithm.observationpack.vpa.hypothesis.HypRetTrans
 

I

id - Variable in class de.learnlib.algorithm.kv.StateInfo
 
id - Variable in class de.learnlib.datastructure.pta.AbstractBasePTAState
 
ignoreAndContinue(O) - Static method in class de.learnlib.exception.MappedException
 
IN_LOVES - Static variable in class de.learnlib.example.dfa.ExamplePaulAndMary
 
IN_MARY - Static variable in class de.learnlib.example.dfa.ExamplePaulAndMary
 
IN_PAUL - Static variable in class de.learnlib.example.dfa.ExamplePaulAndMary
 
InclusionOracle<A extends Output<I,​D>,​I,​D> - Interface in de.learnlib.oracle
Decides whether the language of a given hypothesis is included in some other language (e.g., from a SUL).
InclusionOracle.DFAInclusionOracle<I> - Interface in de.learnlib.oracle
 
InclusionOracle.MealyInclusionOracle<I,​O> - Interface in de.learnlib.oracle
 
IncomingList<I,​D> - Class in de.learnlib.algorithm.ttt.base
The head of the intrusive linked list for storing incoming transitions of a DT node.
IncomingList() - Constructor for class de.learnlib.algorithm.ttt.base.IncomingList
 
Inconsistency<I> - Class in de.learnlib.algorithm.nlstar
An (RFSA) inconsistency in an ObservationTable.
Inconsistency<I> - Class in de.learnlib.datastructure.observationtable
A description of an inconsistency in an GenericObservationTable.
Inconsistency(Row<I>, Row<I>, int, int) - Constructor for class de.learnlib.algorithm.nlstar.Inconsistency
Constructor.
Inconsistency(Row<I>, Row<I>, I) - Constructor for class de.learnlib.datastructure.observationtable.Inconsistency
 
incorporateCounterExample(DefaultQuery<I, D>) - Method in class de.learnlib.algorithm.lstar.AbstractLStar
Incorporates the information provided by a counterexample into the observation data structure.
increment() - Method in class de.learnlib.filter.statistic.Counter
 
increment(long) - Method in class de.learnlib.filter.statistic.Counter
 
IncrementalWMethodEQOracle<A extends UniversalDeterministicAutomaton<?,​I,​?,​?,​?> & Output<I,​D>,​I,​D> - Class in de.learnlib.oracle.equivalence
 
IncrementalWMethodEQOracle(MembershipOracle<I, D>, Alphabet<I>) - Constructor for class de.learnlib.oracle.equivalence.IncrementalWMethodEQOracle
 
IncrementalWMethodEQOracle(MembershipOracle<I, D>, Alphabet<I>, int) - Constructor for class de.learnlib.oracle.equivalence.IncrementalWMethodEQOracle
 
IncrementalWMethodEQOracle(MembershipOracle<I, D>, Alphabet<I>, int, int) - Constructor for class de.learnlib.oracle.equivalence.IncrementalWMethodEQOracle
 
init(Consumer<? super PTATransition<S>>) - Method in class de.learnlib.datastructure.pta.AbstractBlueFringePTA
 
initialize() - Method in class de.learnlib.algorithm.adt.util.SQOOTBridge
 
initialize() - Method in class de.learnlib.algorithm.nlstar.ObservationTable
 
initialize() - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.OneSEVPAHypothesis
 
initialize() - Method in class de.learnlib.algorithm.ttt.base.AbstractTTTHypothesis
Initializes the automaton, adding an initial state.
initialize(Collection<S>, Function<S, Word<I>>, Function<Word<I>, Word<O>>) - Method in class de.learnlib.algorithm.adt.model.ObservationTree
Extended initialization method, that allows to initialize the observation tree with several hypothesis states.
initialize(List<Word<I>>, List<Word<I>>, MembershipOracle<I, D>) - Method in class de.learnlib.datastructure.observationtable.GenericObservationTable
 
initialize(List<Word<I>>, List<Word<I>>, MembershipOracle<I, D>) - Method in interface de.learnlib.datastructure.observationtable.MutableObservationTable
Initializes an observation table using a specified set of suffixes.
initialize(S) - Method in class de.learnlib.algorithm.adt.adt.ADT
Initializes the ADT with a single leaf node.
initialize(S) - Method in class de.learnlib.algorithm.adt.model.ObservationTree
Initialize the observation tree with initial hypothesis state.
initializeLocation(HypLoc<I>) - Method in class de.learnlib.algorithm.observationpack.vpa.AbstractVPALearner
 
initializeState(HState<I, D, SP, TP>) - Method in class de.learnlib.algorithm.observationpack.AbstractOPLearner
 
initializeState(TTTState<I, D>) - Method in class de.learnlib.algorithm.ttt.base.AbstractTTTLearner
Initializes a state.
initializeState(TTTState<I, Boolean>) - Method in class de.learnlib.algorithm.ttt.dfa.TTTLearnerDFA
 
initializeState(TTTState<I, Word<O>>) - Method in class de.learnlib.algorithm.ttt.moore.TTTLearnerMoore
 
initialPrefixes - Variable in class de.learnlib.algorithm.lstar.AbstractExtensibleAutomatonLStar
 
initialPrefixes() - Static method in class de.learnlib.algorithm.lstar.AbstractExtensibleAutomatonLStar.BuilderDefaults
 
initialPrefixes() - Method in class de.learnlib.algorithm.lstar.AbstractExtensibleAutomatonLStar
 
initialPrefixes() - Method in class de.learnlib.algorithm.lstar.AbstractLStar
 
initialSuffixes - Variable in class de.learnlib.algorithm.lstar.AbstractExtensibleAutomatonLStar
 
initialSuffixes() - Static method in class de.learnlib.algorithm.lstar.AbstractExtensibleAutomatonLStar.BuilderDefaults
 
initialSuffixes() - Method in class de.learnlib.algorithm.lstar.AbstractExtensibleAutomatonLStar
 
initialSuffixes() - Method in class de.learnlib.algorithm.lstar.AbstractLStar
Returns the list of initial suffixes which are used to initialize the table.
innerNodeIterator(N) - Static method in class de.learnlib.datastructure.discriminationtree.iterators.DiscriminationTreeIterators
Iterator that traverses all inner nodes (no leaves) of a subtree of a given discrimination tree node.
insert(E) - Method in class de.learnlib.filter.reuse.tree.BoundedDeque
Inserts an element into the deque, and returns the one that had to be evicted in case of a capacity violation.
insert(Word<I>, ReuseCapableOracle.QueryResult<S, O>) - Method in class de.learnlib.filter.reuse.tree.ReuseTree
Inserts the given Word with ReuseCapableOracle.QueryResult into the tree starting from the root node of the tree.
insert(Word<I>, ReuseNode<S, I, O>, ReuseCapableOracle.QueryResult<S, O>) - Method in class de.learnlib.filter.reuse.tree.ReuseTree
Inserts the given Word (suffix of a membership query) with ReuseCapableOracle.QueryResult (suffix output) into the tree starting from the ReuseNode (contains prefix with prefix output) in the tree.
insertAllIncoming(IncomingList<I, D>) - Method in class de.learnlib.algorithm.ttt.base.IncomingList
 
insertAllIncoming(TTTTransition<I, D>) - Method in class de.learnlib.algorithm.ttt.base.IncomingList
 
insertBlock(AbstractBaseDTNode<I, D>) - Method in class de.learnlib.algorithm.ttt.base.BlockList
Inserts a block into the list.
insertIncoming(TTTTransition<I, D>) - Method in class de.learnlib.algorithm.ttt.base.IncomingList
 
INSTANCE - Static variable in class de.learnlib.driver.reflect.Unobserved
 
INSTANCE - Static variable in class de.learnlib.driver.reflect.VoidOutput
 
Interface - Annotation Type in de.learnlib.buildtool.refinement.annotation
Definition of an additional inferface.
interfaces() - Method in annotation type de.learnlib.buildtool.refinement.annotation.GenerateRefinement
An array of additional interfaces the refinement should implement.
INTERNAL - de.learnlib.algorithm.ttt.vpa.Splitter.SplitType
 
internalHyp - Variable in class de.learnlib.algorithm.lstar.AbstractAutomatonLStar
 
IntrusiveList<T extends IntrusiveListElem<T>> - Class in de.learnlib.datastructure.list
The head of the intrusive linked list for storing incoming transitions of a DT node.
IntrusiveList() - Constructor for class de.learnlib.datastructure.list.IntrusiveList
 
IntrusiveListElem<T> - Interface in de.learnlib.datastructure.list
Interface for objects that may occur in a IntrusiveList, either as a value element or the head of the list (which represents the list itself, but does not carry any value).
IntrusiveListElemImpl<T> - Class in de.learnlib.datastructure.list
An element in an IntrusiveList.
IntrusiveListElemImpl() - Constructor for class de.learnlib.datastructure.list.IntrusiveListElemImpl
 
isAccepting() - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.HypLoc
 
isAccepting() - Method in class de.learnlib.algorithm.ttt.dfa.TTTStateDFA
 
isAccepting(TTTStateDFA<I>) - Method in class de.learnlib.algorithm.ttt.dfa.TTTHypothesisDFA
 
isAccepting(S) - Method in class de.learnlib.algorithm.aaar.TranslatingDFA
 
isAccepting(S) - Method in class de.learnlib.datastructure.pta.wrapper.DFAWrapper
 
isAcceptingLocation(HypLoc<I>) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.OneSEVPAHypothesis
 
isAccessSequence(Word<I>) - Method in interface de.learnlib.AccessSequenceTransformer
 
isAccessSequence(Word<I>) - Method in class de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis
 
isAccessSequence(Word<I>) - Method in class de.learnlib.datastructure.observationtable.GenericObservationTable
 
isAccessSequence(Word<I>) - Method in class de.learnlib.datastructure.observationtable.reader.SimpleObservationTable
 
isBlockRoot() - Method in class de.learnlib.datastructure.discriminationtree.model.AbstractTemporaryIntrusiveDTNode
 
isBlue() - Method in class de.learnlib.datastructure.pta.AbstractBlueFringePTAState
 
isBounded() - Method in class de.learnlib.filter.reuse.tree.BoundedDeque
Retrieves whether capacity restriction is in effect.
isCanonical() - Method in class de.learnlib.algorithm.oml.ttt.AbstractOptimalTTT
 
isCanonical() - Method in class de.learnlib.algorithm.oml.ttt.dfa.OptimalTTTDFA
 
isCanonical() - Method in class de.learnlib.algorithm.oml.ttt.mealy.OptimalTTTMealy
 
isClosed() - Method in interface de.learnlib.datastructure.observationtable.ObservationTable
 
isConsistent() - Method in interface de.learnlib.datastructure.observationtable.ObservationTable
 
isContinuable() - Method in class de.learnlib.algorithm.procedural.SymbolWrapper
 
isCopy - Variable in class de.learnlib.datastructure.pta.AbstractBlueFringePTAState
 
isCounterexample(DefaultQuery<I, D>, SuffixOutput<I, D>) - Static method in class de.learnlib.util.MQUtil
 
isCounterExample() - Method in class de.learnlib.algorithm.adt.model.ExtensionResult
Utility method, indicating the search for an extension has revealed a counterexample.
isCounterExample(A, Iterable<? extends I>, D) - Method in interface de.learnlib.oracle.AutomatonOracle
Returns whether the given input and output is a counter example for the given hypothesis.
isCounterExample(A, Iterable<? extends I>, D) - Method in class de.learnlib.oracle.equivalence.AbstractBFInclusionOracle
 
isCounterExample(Output<I, D>, Iterable<? extends I>, D) - Method in class de.learnlib.oracle.emptiness.LassoEmptinessOracleImpl
 
isCounterExample(Output<I, D>, Iterable<? extends I>, D) - Method in interface de.learnlib.oracle.EmptinessOracle
 
isCounterExample(Output<I, D>, Iterable<? extends I>, D) - Method in interface de.learnlib.oracle.InclusionOracle
 
isCounterExample(Output<I, D>, Iterable<? extends I>, D) - Method in interface de.learnlib.oracle.LassoOracle
Returns whether the given input and output is a counter example for the given hypothesis.
isDisproved() - Method in class de.learnlib.oracle.property.LoggingPropertyOracle
 
isDisproved() - Method in interface de.learnlib.oracle.PropertyOracle
Returns whether the property is disproved.
isEmpty() - Method in class de.learnlib.datastructure.discriminationtree.model.BooleanMap
 
isEmpty() - Method in class de.learnlib.datastructure.list.IntrusiveList
 
isEmpty() - Method in class de.learnlib.filter.reuse.tree.BoundedDeque
 
isInitialConsistencyCheckRequired() - Method in class de.learnlib.datastructure.observationtable.GenericObservationTable
 
isInitialConsistencyCheckRequired() - Method in interface de.learnlib.datastructure.observationtable.MutableObservationTable
 
isInitialized() - Method in class de.learnlib.algorithm.ttt.base.AbstractTTTHypothesis
Checks whether this automaton was initialized (i.e., AbstractTTTHypothesis.initialize() has been called).
isInitialized() - Method in class de.learnlib.datastructure.observationtable.GenericObservationTable
 
isInitialized() - Method in interface de.learnlib.datastructure.observationtable.MutableObservationTable
Checks whether this observation table has been initialized yet (i.e., contains any rows).
isInner() - Method in class de.learnlib.datastructure.discriminationtree.model.AbstractTemporaryIntrusiveDTNode
 
isLeaf() - Method in interface de.learnlib.algorithm.adt.adt.ADTNode
 
isLeaf() - Method in class de.learnlib.datastructure.discriminationtree.model.AbstractDTNode
 
isLeafNode(ADTNode<S, I, O>) - Static method in class de.learnlib.algorithm.adt.util.ADTUtil
 
isMarked(O) - Method in class de.learnlib.datastructure.discriminationtree.SplitData
Checks whether the corresponding node is marked with the given label.
isNew() - Method in class de.learnlib.algorithm.nlstar.Row
 
isNonTree() - Method in class de.learnlib.algorithm.observationpack.hypothesis.HTransition
 
isNormalized() - Method in class de.learnlib.query.DefaultQuery
Checks if the query is normalized, i.e., if all the information is stored in the suffix part of the counterexample.
isPrime() - Method in class de.learnlib.algorithm.nlstar.Row
 
isRed() - Method in class de.learnlib.datastructure.pta.AbstractBlueFringePTAState
 
isReplacement() - Method in class de.learnlib.algorithm.adt.model.ExtensionResult
Utility method, indicating if the search for an extending replacement was a success.
isResetNode(ADTNode<S, I, O>) - Static method in class de.learnlib.algorithm.adt.util.ADTUtil
 
isRoot() - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.HypLoc
 
isRoot() - Method in class de.learnlib.algorithm.ttt.base.TTTState
Checks whether this state is the initial state (i.e., the root of the spanning tree).
isRoot() - Method in class de.learnlib.datastructure.discriminationtree.model.AbstractDTNode
 
isSameState(Word<I>, S, Word<I>, S) - Method in class de.learnlib.oracle.membership.SimulatorOmegaOracle
Test for state equivalence by simply invoking Object.equals(Object).
isSameState(Word<I>, S, Word<I>, S) - Method in interface de.learnlib.oracle.OmegaMembershipOracle
Returns whether two states are equal, or if both access sequences w1, and w2 end up in the same state.
isSameState(Word<I>, S, Word<I>, S) - Method in class de.learnlib.oracle.parallelism.DynamicParallelOmegaOracle
 
isSameState(Word<I>, S, Word<I>, S) - Method in class de.learnlib.oracle.parallelism.StaticParallelOmegaOracle
 
isShortPrefixRow() - Method in class de.learnlib.algorithm.nlstar.Row
 
isShortPrefixRow() - Method in interface de.learnlib.datastructure.observationtable.Row
Retrieves whether this row is a short or a long prefix row.
isSpanningTreeEdge() - Method in class de.learnlib.algorithm.adt.automaton.ADTTransition
 
isSymbolNode(ADTNode<S, I, O>) - Static method in class de.learnlib.algorithm.adt.util.ADTUtil
 
isTemp() - Method in class de.learnlib.datastructure.discriminationtree.model.AbstractTemporaryIntrusiveDTNode
 
isTransitionDefined(ADTState<I, O>, I) - Method in class de.learnlib.algorithm.adt.learner.ADTLearner
 
isTransitionDefined(S, I) - Method in interface de.learnlib.algorithm.adt.api.PartialTransitionAnalyzer
Check whether the transition in question is defined or not.
isTree() - Method in class de.learnlib.algorithm.observationpack.hypothesis.HTransition
 
isTree() - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.AbstractHypTrans
 
isTree() - Method in class de.learnlib.algorithm.ttt.base.TTTTransition
 
isUltimatelyPeriodic() - Method in class de.learnlib.query.OmegaQuery
 
isWhite() - Method in class de.learnlib.datastructure.pta.AbstractBlueFringePTAState
 
iterator() - Method in class de.learnlib.datastructure.list.IntrusiveList
 
iterator() - Method in class de.learnlib.datastructure.pta.BasePTA
 
iterator() - Method in class de.learnlib.filter.reuse.tree.BoundedDeque
 

K

KearnsVaziraniAdapterDFA<I> - Class in de.learnlib.algorithm.procedural.adapter.dfa
Adapter for using KearnsVaziraniDFA as a procedural learner.
KearnsVaziraniAdapterDFA(Alphabet<I>, MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.algorithm.procedural.adapter.dfa.KearnsVaziraniAdapterDFA
 
KearnsVaziraniAdapterMealy<I,​O> - Class in de.learnlib.algorithm.procedural.adapter.mealy
Adapter for using KearnsVaziraniMealy as a procedural learner.
KearnsVaziraniAdapterMealy(Alphabet<I>, MembershipOracle<I, Word<O>>) - Constructor for class de.learnlib.algorithm.procedural.adapter.mealy.KearnsVaziraniAdapterMealy
 
KearnsVaziraniDFA<I> - Class in de.learnlib.algorithm.kv.dfa
The Kearns/Vazirani algorithm for learning DFA, as described in the book "An Introduction to Computational Learning Theory" by Michael Kearns and Umesh Vazirani.
KearnsVaziraniDFA(Alphabet<I>, MembershipOracle<I, Boolean>, boolean, AcexAnalyzer) - Constructor for class de.learnlib.algorithm.kv.dfa.KearnsVaziraniDFA
Constructor.
KearnsVaziraniDFA.KVAbstractCounterexample - Class in de.learnlib.algorithm.kv.dfa
 
KearnsVaziraniDFABuilder<I> - Class in de.learnlib.algorithm.kv.dfa
 
KearnsVaziraniDFABuilder() - Constructor for class de.learnlib.algorithm.kv.dfa.KearnsVaziraniDFABuilder
 
KearnsVaziraniDFAState<I> - Class in de.learnlib.algorithm.kv.dfa
Class that contains all data that represent the internal state of the KearnsVaziraniDFA learner.
KearnsVaziraniMealy<I,​O> - Class in de.learnlib.algorithm.kv.mealy
An adaption of the Kearns/Vazirani algorithm for Mealy machines.
KearnsVaziraniMealy(Alphabet<I>, MembershipOracle<I, Word<O>>, boolean, AcexAnalyzer) - Constructor for class de.learnlib.algorithm.kv.mealy.KearnsVaziraniMealy
 
KearnsVaziraniMealy.KVAbstractCounterexample - Class in de.learnlib.algorithm.kv.mealy
 
KearnsVaziraniMealyBuilder<I,​O> - Class in de.learnlib.algorithm.kv.mealy
 
KearnsVaziraniMealyBuilder() - Constructor for class de.learnlib.algorithm.kv.mealy.KearnsVaziraniMealyBuilder
 
KearnsVaziraniMealyState<I,​O> - Class in de.learnlib.algorithm.kv.mealy
Class that contains all data that represent the internal state of the KearnsVaziraniMealy learner.
key(AbstractDTNode<I, D>) - Method in interface de.learnlib.algorithm.oml.ttt.dt.Children
 
keySet() - Method in class de.learnlib.datastructure.discriminationtree.model.BooleanMap
 
KVAbstractCounterexample(Word<I>, boolean, MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.algorithm.kv.dfa.KearnsVaziraniDFA.KVAbstractCounterexample
 
KVAbstractCounterexample(Word<I>, Word<O>, MembershipOracle<I, Word<O>>) - Constructor for class de.learnlib.algorithm.kv.mealy.