Uses of Interface
de.learnlib.AccessSequenceProvider
-
Packages that use AccessSequenceProvider Package Description de.learnlib.algorithm.adt.automaton 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 de.learnlib.algorithm.ttt.base de.learnlib.algorithm.ttt.dfa de.learnlib.algorithm.ttt.mealy de.learnlib.algorithm.ttt.moore -
-
Uses of AccessSequenceProvider in de.learnlib.algorithm.adt.automaton
Classes in de.learnlib.algorithm.adt.automaton that implement AccessSequenceProvider Modifier and Type Class Description class
ADTState<I,O>
Hypothesis state model. -
Uses of AccessSequenceProvider in de.learnlib.algorithm.observationpack.vpa
Methods in de.learnlib.algorithm.observationpack.vpa with parameters of type AccessSequenceProvider Modifier and Type Method Description protected Boolean
AbstractVPALearner. query(AccessSequenceProvider<I> asp, ContextPair<I> context)
-
Uses of AccessSequenceProvider in de.learnlib.algorithm.observationpack.vpa.hypothesis
Classes in de.learnlib.algorithm.observationpack.vpa.hypothesis that implement AccessSequenceProvider Modifier and Type Class Description class
AbstractHypTrans<I>
class
HypIntTrans<I>
class
HypLoc<I>
class
HypRetTrans<I>
-
Uses of AccessSequenceProvider in de.learnlib.algorithm.ttt.base
Classes in de.learnlib.algorithm.ttt.base that implement AccessSequenceProvider Modifier and Type Class Description class
TTTState<I,D>
A state in aAbstractTTTHypothesis
.class
TTTTransition<I,D>
A transition in aAbstractTTTHypothesis
.Methods in de.learnlib.algorithm.ttt.base with parameters of type AccessSequenceProvider Modifier and Type Method Description protected D
AbstractTTTLearner. query(AccessSequenceProvider<I> accessSeqProvider, Word<I> suffix)
Performs a membership query, using an access sequence as its prefix. -
Uses of AccessSequenceProvider in de.learnlib.algorithm.ttt.dfa
Classes in de.learnlib.algorithm.ttt.dfa that implement AccessSequenceProvider Modifier and Type Class Description class
TTTStateDFA<I>
-
Uses of AccessSequenceProvider in de.learnlib.algorithm.ttt.mealy
Classes in de.learnlib.algorithm.ttt.mealy that implement AccessSequenceProvider Modifier and Type Class Description class
TTTTransitionMealy<I,O>
-
Uses of AccessSequenceProvider in de.learnlib.algorithm.ttt.moore
Classes in de.learnlib.algorithm.ttt.moore that implement AccessSequenceProvider Modifier and Type Class Description class
TTTStateMoore<I,O>
AMooreMachine
-specific state of theTTTHypothesisMoore
class.
-