A D G I K L O R S T
All Classes All Packages

A

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.

D

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

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

G

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

getDelegate() - Method in class de.learnlib.algorithm.procedural.SymbolWrapper

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

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

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

I

isContinuable() - Method in class de.learnlib.algorithm.procedural.SymbolWrapper

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

L

LStarBaseAdapterDFA<I> - Class in de.learnlib.algorithm.procedural.adapter.dfa

Adapter for using ClassicLStarDFA as a procedural learner.

LStarBaseAdapterDFA(Alphabet<I>, MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.algorithm.procedural.adapter.dfa.LStarBaseAdapterDFA

LStarBaseAdapterMealy<I,O> - Class in de.learnlib.algorithm.procedural.adapter.mealy

Adapter for using ExtensibleLStarMealy as a procedural learner.

LStarBaseAdapterMealy(Alphabet<I>, MembershipOracle<I, Word<O>>) - Constructor for class de.learnlib.algorithm.procedural.adapter.mealy.LStarBaseAdapterMealy

O

ObservationPackAdapterDFA<I> - Class in de.learnlib.algorithm.procedural.adapter.dfa

Adapter for using OPLearnerDFA as a procedural learner.

ObservationPackAdapterDFA(Alphabet<I>, MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.algorithm.procedural.adapter.dfa.ObservationPackAdapterDFA

ObservationPackAdapterMealy<I,O> - Class in de.learnlib.algorithm.procedural.adapter.mealy

Adapter for using OPLearnerMealy as a procedural learner.

ObservationPackAdapterMealy(Alphabet<I>, MembershipOracle<I, Word<O>>) - Constructor for class de.learnlib.algorithm.procedural.adapter.mealy.ObservationPackAdapterMealy

OptimalTTTAdapterDFA<I> - Class in de.learnlib.algorithm.procedural.adapter.dfa

Adapter for using OptimalTTTDFA as a procedural learner.

OptimalTTTAdapterDFA(Alphabet<I>, MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.algorithm.procedural.adapter.dfa.OptimalTTTAdapterDFA

OptimalTTTAdapterMealy<I,O> - Class in de.learnlib.algorithm.procedural.adapter.mealy

Adapter for using OptimalTTTMealy as a procedural learner.

OptimalTTTAdapterMealy(Alphabet<I>, MembershipOracle<I, Word<O>>) - Constructor for class de.learnlib.algorithm.procedural.adapter.mealy.OptimalTTTAdapterMealy

OptimizingATManager<I> - Class in de.learnlib.algorithm.procedural.sba.manager

An optimizing ATManager that continuously scans positive counterexamples and procedural models in order to find shorter access sequences and terminating sequences.

OptimizingATManager<I,O> - Class in de.learnlib.algorithm.procedural.spmm.manager

An optimizing ATManager that continuously scans positive counterexamples and procedural models in order to find shorter access sequences and terminating sequences.

OptimizingATManager(ProceduralInputAlphabet<I>) - Constructor for class de.learnlib.algorithm.procedural.sba.manager.OptimizingATManager

OptimizingATManager(ProceduralInputAlphabet<I>, O) - Constructor for class de.learnlib.algorithm.procedural.spmm.manager.OptimizingATManager

OptimizingATRManager<I> - Class in de.learnlib.algorithm.procedural.spa.manager

An optimizing ATRManager that continuously scans positive counterexamples and procedural models in order to find shorter access sequences, terminating sequences, and return sequences.

OptimizingATRManager(ProceduralInputAlphabet<I>) - Constructor for class de.learnlib.algorithm.procedural.spa.manager.OptimizingATRManager

R

refineHypothesis(DefaultQuery<I, Boolean>) - Method in class de.learnlib.algorithm.procedural.sba.SBALearner

refineHypothesis(DefaultQuery<I, Boolean>) - Method in class de.learnlib.algorithm.procedural.spa.SPALearner

refineHypothesis(DefaultQuery<I, Word<O>>) - Method in class de.learnlib.algorithm.procedural.spmm.SPMMLearner

RivestSchapireAdapterDFA<I> - Class in de.learnlib.algorithm.procedural.adapter.dfa

Adapter for using RivestSchapireDFA as a procedural learner.

RivestSchapireAdapterDFA(Alphabet<I>, MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.algorithm.procedural.adapter.dfa.RivestSchapireAdapterDFA

RivestSchapireAdapterMealy<I,O> - Class in de.learnlib.algorithm.procedural.adapter.mealy

Adapter for using RivestSchapireMealy as a procedural learner.

RivestSchapireAdapterMealy(Alphabet<I>, MembershipOracle<I, Word<O>>) - Constructor for class de.learnlib.algorithm.procedural.adapter.mealy.RivestSchapireAdapterMealy

S

SBALearner<I,L extends LearningAlgorithm.DFALearner<SymbolWrapper<I>> & SupportsGrowingAlphabet<SymbolWrapper<I>> & AccessSequenceTransformer<SymbolWrapper<I>>> - Class in de.learnlib.algorithm.procedural.sba

A learning algorithm for SBAs.

SBALearner(ProceduralInputAlphabet<I>, MembershipOracle<I, Boolean>, LearnerConstructor<L, SymbolWrapper<I>, Boolean>) - Constructor for class de.learnlib.algorithm.procedural.sba.SBALearner

SBALearner(ProceduralInputAlphabet<I>, MembershipOracle<I, Boolean>, Mapping<I, LearnerConstructor<L, SymbolWrapper<I>, Boolean>>, AcexAnalyzer, ATManager<I>) - Constructor for class de.learnlib.algorithm.procedural.sba.SBALearner

scanCounterexample(DefaultQuery<I, Word<O>>) - Method in interface de.learnlib.algorithm.procedural.spmm.ATManager

Extracts from a positive counterexample (potentially new) access sequences and terminating sequences.

scanCounterexample(DefaultQuery<I, Word<O>>) - Method in class de.learnlib.algorithm.procedural.spmm.manager.DefaultATManager

scanCounterexample(DefaultQuery<I, Word<O>>) - Method in class de.learnlib.algorithm.procedural.spmm.manager.OptimizingATManager

scanPositiveCounterexample(Word<I>) - Method in interface de.learnlib.algorithm.procedural.sba.ATManager

Extracts from a positive counterexample (potentially new) access sequences and terminating sequences.

scanPositiveCounterexample(Word<I>) - Method in class de.learnlib.algorithm.procedural.sba.manager.DefaultATManager

scanPositiveCounterexample(Word<I>) - Method in class de.learnlib.algorithm.procedural.sba.manager.OptimizingATManager

scanPositiveCounterexample(Word<I>) - Method in interface de.learnlib.algorithm.procedural.spa.ATRManager

Extracts from a positive counterexample (potentially new) access sequences, terminating sequences, and return sequences.

scanPositiveCounterexample(Word<I>) - Method in class de.learnlib.algorithm.procedural.spa.manager.DefaultATRManager

scanPositiveCounterexample(Word<I>) - Method in class de.learnlib.algorithm.procedural.spa.manager.OptimizingATRManager

scanProcedures(Map<I, ? extends DFA<?, SymbolWrapper<I>>>, Map<I, ? extends AccessSequenceTransformer<SymbolWrapper<I>>>, Collection<SymbolWrapper<I>>) - Method in interface de.learnlib.algorithm.procedural.sba.ATManager

Scans a set of (hypothesis) procedures in order to potentially extract new access sequences and terminating sequences.

scanProcedures(Map<I, ? extends DFA<?, SymbolWrapper<I>>>, Map<I, ? extends AccessSequenceTransformer<SymbolWrapper<I>>>, Collection<SymbolWrapper<I>>) - Method in class de.learnlib.algorithm.procedural.sba.manager.DefaultATManager

scanProcedures(Map<I, ? extends DFA<?, SymbolWrapper<I>>>, Map<I, ? extends AccessSequenceTransformer<SymbolWrapper<I>>>, Collection<SymbolWrapper<I>>) - Method in class de.learnlib.algorithm.procedural.sba.manager.OptimizingATManager

scanProcedures(Map<I, ? extends DFA<?, I>>, Map<I, ? extends AccessSequenceTransformer<I>>, Collection<I>) - Method in interface de.learnlib.algorithm.procedural.spa.ATRManager

Scans a set of (hypothesis) procedures in order to potentially extract new access sequences, terminating sequences, and return sequences.

scanProcedures(Map<I, ? extends DFA<?, I>>, Map<I, ? extends AccessSequenceTransformer<I>>, Collection<I>) - Method in class de.learnlib.algorithm.procedural.spa.manager.DefaultATRManager

scanProcedures(Map<I, ? extends DFA<?, I>>, Map<I, ? extends AccessSequenceTransformer<I>>, Collection<I>) - Method in class de.learnlib.algorithm.procedural.spa.manager.OptimizingATRManager

scanProcedures(Map<I, ? extends MealyMachine<?, SymbolWrapper<I>, ?, O>>, Map<I, ? extends AccessSequenceTransformer<SymbolWrapper<I>>>, Collection<SymbolWrapper<I>>) - Method in interface de.learnlib.algorithm.procedural.spmm.ATManager

Scans a set of (hypothesis) procedures in order to potentially extract new access sequences and terminating sequences.

scanProcedures(Map<I, ? extends MealyMachine<?, SymbolWrapper<I>, ?, O>>, Map<I, ? extends AccessSequenceTransformer<SymbolWrapper<I>>>, Collection<SymbolWrapper<I>>) - Method in class de.learnlib.algorithm.procedural.spmm.manager.DefaultATManager

scanProcedures(Map<I, ? extends MealyMachine<?, SymbolWrapper<I>, ?, O>>, Map<I, ? extends AccessSequenceTransformer<SymbolWrapper<I>>>, Collection<SymbolWrapper<I>>) - Method in class de.learnlib.algorithm.procedural.spmm.manager.OptimizingATManager

SPALearner<I,L extends LearningAlgorithm.DFALearner<I> & SupportsGrowingAlphabet<I> & AccessSequenceTransformer<I>> - Class in de.learnlib.algorithm.procedural.spa

A learning algorithm for SPAs.

SPALearner(ProceduralInputAlphabet<I>, MembershipOracle<I, Boolean>, LearnerConstructor<L, I, Boolean>) - Constructor for class de.learnlib.algorithm.procedural.spa.SPALearner

SPALearner(ProceduralInputAlphabet<I>, MembershipOracle<I, Boolean>, Mapping<I, LearnerConstructor<L, I, Boolean>>, AcexAnalyzer, ATRManager<I>) - Constructor for class de.learnlib.algorithm.procedural.spa.SPALearner

SPMMLearner<I,O,L extends LearningAlgorithm.MealyLearner<SymbolWrapper<I>,O> & SupportsGrowingAlphabet<SymbolWrapper<I>> & AccessSequenceTransformer<SymbolWrapper<I>>> - Class in de.learnlib.algorithm.procedural.spmm

A learning algorithm for SPMMs.

SPMMLearner(ProceduralInputAlphabet<I>, O, MembershipOracle<I, Word<O>>, LearnerConstructor<L, SymbolWrapper<I>, Word<O>>) - Constructor for class de.learnlib.algorithm.procedural.spmm.SPMMLearner

SPMMLearner(ProceduralInputAlphabet<I>, O, MembershipOracle<I, Word<O>>, Mapping<I, LearnerConstructor<L, SymbolWrapper<I>, Word<O>>>, ATManager<I, O>) - Constructor for class de.learnlib.algorithm.procedural.spmm.SPMMLearner

startLearning() - Method in class de.learnlib.algorithm.procedural.sba.SBALearner

startLearning() - Method in class de.learnlib.algorithm.procedural.spa.SPALearner

startLearning() - Method in class de.learnlib.algorithm.procedural.spmm.SPMMLearner

SymbolWrapper<I> - Class in de.learnlib.algorithm.procedural

A utility class to annotate an input symbol with a (boolean) continuable flag.

SymbolWrapper(I, boolean) - Constructor for class de.learnlib.algorithm.procedural.SymbolWrapper

T

toString() - Method in class de.learnlib.algorithm.procedural.SymbolWrapper

transformAccessSequence(Word<I>) - Method in class de.learnlib.algorithm.procedural.adapter.dfa.KearnsVaziraniAdapterDFA

transformAccessSequence(Word<I>) - Method in class de.learnlib.algorithm.procedural.adapter.dfa.LStarBaseAdapterDFA

transformAccessSequence(Word<I>) - Method in class de.learnlib.algorithm.procedural.adapter.dfa.ObservationPackAdapterDFA

transformAccessSequence(Word<I>) - Method in class de.learnlib.algorithm.procedural.adapter.dfa.OptimalTTTAdapterDFA

transformAccessSequence(Word<I>) - Method in class de.learnlib.algorithm.procedural.adapter.dfa.RivestSchapireAdapterDFA

transformAccessSequence(Word<I>) - Method in class de.learnlib.algorithm.procedural.adapter.dfa.TTTAdapterDFA

transformAccessSequence(Word<I>) - Method in class de.learnlib.algorithm.procedural.adapter.mealy.KearnsVaziraniAdapterMealy

transformAccessSequence(Word<I>) - Method in class de.learnlib.algorithm.procedural.adapter.mealy.LStarBaseAdapterMealy

transformAccessSequence(Word<I>) - Method in class de.learnlib.algorithm.procedural.adapter.mealy.ObservationPackAdapterMealy

transformAccessSequence(Word<I>) - Method in class de.learnlib.algorithm.procedural.adapter.mealy.OptimalTTTAdapterMealy

transformAccessSequence(Word<I>) - Method in class de.learnlib.algorithm.procedural.adapter.mealy.RivestSchapireAdapterMealy

transformAccessSequence(Word<I>) - Method in class de.learnlib.algorithm.procedural.adapter.mealy.TTTAdapterMealy

TTTAdapterDFA<I> - Class in de.learnlib.algorithm.procedural.adapter.dfa

Adapter for using TTTLearnerDFA as a procedural learner.

TTTAdapterDFA(Alphabet<I>, MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.algorithm.procedural.adapter.dfa.TTTAdapterDFA

TTTAdapterMealy<I,O> - Class in de.learnlib.algorithm.procedural.adapter.mealy

Adapter for using TTTLearnerMealy as a procedural learner.

TTTAdapterMealy(Alphabet<I>, MembershipOracle<I, Word<O>>) - Constructor for class de.learnlib.algorithm.procedural.adapter.mealy.TTTAdapterMealy

A D G I K L O R S T
All Classes All Packages