Uses of Interface
de.learnlib.Resumable
-
-
Uses of Resumable in de.learnlib.algorithm.adt.learner
Classes in de.learnlib.algorithm.adt.learner that implement Resumable Modifier and Type Class Description class
ADTLearner<I,O>
The main learning algorithm. -
Uses of Resumable in de.learnlib.algorithm.dhc.mealy
Classes in de.learnlib.algorithm.dhc.mealy that implement Resumable Modifier and Type Class Description class
MealyDHC<I,O>
-
Uses of Resumable in de.learnlib.algorithm.kv.dfa
Classes in de.learnlib.algorithm.kv.dfa that implement Resumable Modifier and Type Class Description class
KearnsVaziraniDFA<I>
The Kearns/Vazirani algorithm for learning DFA, as described in the book "An Introduction to Computational Learning Theory" by Michael Kearns and Umesh Vazirani. -
Uses of Resumable in de.learnlib.algorithm.kv.mealy
Classes in de.learnlib.algorithm.kv.mealy that implement Resumable Modifier and Type Class Description class
KearnsVaziraniMealy<I,O>
An adaption of the Kearns/Vazirani algorithm for Mealy machines. -
Uses of Resumable in de.learnlib.algorithm.lstar
Classes in de.learnlib.algorithm.lstar that implement Resumable Modifier and Type Class Description class
AbstractAutomatonLStar<A,I,D,S,T,SP,TP,AI extends MutableDeterministic<S,I,T,SP,TP> & SupportsGrowingAlphabet<I>>
Abstract base class for algorithms that produce (subclasses of)MutableDeterministic
automata.class
AbstractExtensibleAutomatonLStar<A,I,D,S,T,SP,TP,AI extends MutableDeterministic<S,I,T,SP,TP> & SupportsGrowingAlphabet<I>>
-
Uses of Resumable in de.learnlib.algorithm.lstar.dfa
Classes in de.learnlib.algorithm.lstar.dfa that implement Resumable Modifier and Type Class Description class
ClassicLStarDFA<I>
Implementation of the L* algorithm by Dana Angluin.class
ExtensibleLStarDFA<I>
An implementation of Angluin's L* algorithm for learning DFAs, as described in the paper "Learning Regular Sets from Queries and Counterexamples". -
Uses of Resumable in de.learnlib.algorithm.lstar.mealy
Classes in de.learnlib.algorithm.lstar.mealy that implement Resumable Modifier and Type Class Description class
ClassicLStarMealy<I,O>
An implementation of the L*Mealy algorithm for inferring Mealy machines, as described by Oliver Niese in his Ph.D.class
ExtensibleLStarMealy<I,O>
-
Uses of Resumable in de.learnlib.algorithm.lstar.moore
Classes in de.learnlib.algorithm.lstar.moore that implement Resumable Modifier and Type Class Description class
ClassicLStarMoore<I,O>
AMooreMachine
-based specialization of the classic L* learner.class
ExtensibleLStarMoore<I,O>
AMooreMachine
-based specialization of the extensible L* learner. -
Uses of Resumable in de.learnlib.algorithm.malerpnueli
Classes in de.learnlib.algorithm.malerpnueli that implement Resumable Modifier and Type Class Description class
MalerPnueliDFA<I>
class
MalerPnueliMealy<I,O>
class
MalerPnueliMoore<I,O>
-
Uses of Resumable in de.learnlib.algorithm.observationpack
Classes in de.learnlib.algorithm.observationpack that implement Resumable Modifier and Type Class Description class
AbstractOPLearner<M extends SuffixOutput<I,D>,I,D,SP,TP>
-
Uses of Resumable in de.learnlib.algorithm.observationpack.dfa
Classes in de.learnlib.algorithm.observationpack.dfa that implement Resumable Modifier and Type Class Description class
OPLearnerDFA<I>
Algorithm for learning DFA using the Discrimination Tree algorithm. -
Uses of Resumable in de.learnlib.algorithm.observationpack.mealy
Classes in de.learnlib.algorithm.observationpack.mealy that implement Resumable Modifier and Type Class Description class
OPLearnerMealy<I,O>
-
Uses of Resumable in de.learnlib.algorithm.observationpack.moore
Classes in de.learnlib.algorithm.observationpack.moore that implement Resumable Modifier and Type Class Description class
OPLearnerMoore<I,O>
AMooreMachine
-based specialization of the DT learner. -
Uses of Resumable in de.learnlib.algorithm.oml.lstar
Classes in de.learnlib.algorithm.oml.lstar that implement Resumable Modifier and Type Class Description class
OptimalLStarDFA<I>
class
OptimalLStarMealy<I,O>
-
Uses of Resumable in de.learnlib.algorithm.procedural.adapter.dfa
Classes in de.learnlib.algorithm.procedural.adapter.dfa that implement Resumable Modifier and Type Class Description class
KearnsVaziraniAdapterDFA<I>
Adapter for usingKearnsVaziraniDFA
as a procedural learner.class
LStarBaseAdapterDFA<I>
Adapter for usingClassicLStarDFA
as a procedural learner.class
ObservationPackAdapterDFA<I>
Adapter for usingOPLearnerDFA
as a procedural learner.class
RivestSchapireAdapterDFA<I>
Adapter for usingRivestSchapireDFA
as a procedural learner.class
TTTAdapterDFA<I>
Adapter for usingTTTLearnerDFA
as a procedural learner. -
Uses of Resumable in de.learnlib.algorithm.procedural.adapter.mealy
Classes in de.learnlib.algorithm.procedural.adapter.mealy that implement Resumable Modifier and Type Class Description class
KearnsVaziraniAdapterMealy<I,O>
Adapter for usingKearnsVaziraniMealy
as a procedural learner.class
LStarBaseAdapterMealy<I,O>
Adapter for usingExtensibleLStarMealy
as a procedural learner.class
ObservationPackAdapterMealy<I,O>
Adapter for usingOPLearnerMealy
as a procedural learner.class
RivestSchapireAdapterMealy<I,O>
Adapter for usingRivestSchapireMealy
as a procedural learner.class
TTTAdapterMealy<I,O>
Adapter for usingTTTLearnerMealy
as a procedural learner. -
Uses of Resumable in de.learnlib.algorithm.rivestschapire
Classes in de.learnlib.algorithm.rivestschapire that implement Resumable Modifier and Type Class Description class
RivestSchapireDFA<I>
class
RivestSchapireMealy<I,O>
class
RivestSchapireMoore<I,O>
-
Uses of Resumable in de.learnlib.algorithm.ttt.base
Classes in de.learnlib.algorithm.ttt.base that implement Resumable Modifier and Type Class Description class
AbstractTTTLearner<A,I,D>
The TTT learning algorithm forDFA
. -
Uses of Resumable in de.learnlib.algorithm.ttt.dfa
Classes in de.learnlib.algorithm.ttt.dfa that implement Resumable Modifier and Type Class Description class
PrefixTTTLearnerDFA<I>
class
TTTLearnerDFA<I>
-
Uses of Resumable in de.learnlib.algorithm.ttt.mealy
Classes in de.learnlib.algorithm.ttt.mealy that implement Resumable Modifier and Type Class Description class
TTTLearnerMealy<I,O>
-
Uses of Resumable in de.learnlib.algorithm.ttt.moore
Classes in de.learnlib.algorithm.ttt.moore that implement Resumable Modifier and Type Class Description class
TTTLearnerMoore<I,O>
AMooreMachine
-based specialization of the TTT learner. -
Uses of Resumable in de.learnlib.filter.cache.dfa
Classes in de.learnlib.filter.cache.dfa that implement Resumable Modifier and Type Class Description class
DFACacheOracle<I>
DFA cache.class
DFAHashCacheOracle<I>
ALearningCacheOracle.DFALearningCacheOracle
that uses aMap
for internal cache organization.class
ThreadSafeDFACacheOracle<I>
A thread-safe variant ofDFACacheOracle
. -
Uses of Resumable in de.learnlib.filter.cache.mealy
Classes in de.learnlib.filter.cache.mealy that implement Resumable Modifier and Type Class Description class
MealyCacheOracle<I,O>
Mealy cache.class
SymbolQueryCache<I,O>
A cache for aSymbolQueryOracle
.class
ThreadSafeMealyCacheOracle<I,O>
A thread-safe variant ofMealyCacheOracle
. -
Uses of Resumable in de.learnlib.filter.cache.moore
Classes in de.learnlib.filter.cache.moore that implement Resumable Modifier and Type Class Description class
MooreCacheOracle<I,O>
Moore cache.class
ThreadSafeMooreCacheOracle<I,O>
A thread-safe variant ofMealyCacheOracle
. -
Uses of Resumable in de.learnlib.filter.cache.sul
Classes in de.learnlib.filter.cache.sul that implement Resumable Modifier and Type Class Description class
StateLocalInputSULCache<I,O>
class
SULCache<I,O>
A cache to be used with aSUL
.class
ThreadSafeStateLocalInputSULCache<I,O>
A thread-safe variant ofStateLocalInputSULCache
.class
ThreadSafeSULCache<I,O>
A thread-safe variant ofSULCache
. -
Uses of Resumable in de.learnlib.testsupport
Classes in de.learnlib.testsupport with type parameters of type Resumable Modifier and Type Class Description class
AbstractResumableLearnerDFATest<L extends Resumable<T> & LearningAlgorithm<DFA<?,Character>,Character,Boolean>,T>
class
AbstractResumableLearnerMealyTest<L extends Resumable<T> & LearningAlgorithm<MealyMachine<?,Character,?,Character>,Character,Word<Character>>,T>
class
AbstractResumableLearnerMooreTest<L extends Resumable<T> & LearningAlgorithm<MooreMachine<?,Character,?,Character>,Character,Word<Character>>,T>
class
AbstractResumableLearnerTest<L extends Resumable<T> & LearningAlgorithm<M,I,D>,M extends UniversalDeterministicAutomaton<?,I,?,?,?>,OR,I,D,T>
Test class that checks the workflow of a learning algorithm that implementsResumable
.
-