Uses of Package
de.learnlib

Packages that use de.learnlib

Package	Description
de.learnlib
de.learnlib.algorithm.adt.automaton
de.learnlib.algorithm.adt.learner
de.learnlib.algorithm.dhc.mealy
de.learnlib.algorithm.kv.dfa
de.learnlib.algorithm.kv.mealy
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.dfa
de.learnlib.algorithm.lstar.mealy
de.learnlib.algorithm.lstar.moore
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.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
de.learnlib.algorithm.observationpack.hypothesis
de.learnlib.algorithm.observationpack.mealy
de.learnlib.algorithm.observationpack.moore
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.oml.lstar
de.learnlib.algorithm.procedural.adapter.dfa
de.learnlib.algorithm.procedural.adapter.mealy
de.learnlib.algorithm.procedural.sba
de.learnlib.algorithm.procedural.spa
de.learnlib.algorithm.procedural.spmm
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.ttt.base
de.learnlib.algorithm.ttt.dfa
de.learnlib.algorithm.ttt.mealy
de.learnlib.algorithm.ttt.moore
de.learnlib.counterexample	This package contains a collection of standard algorithms for handling counterexamples in automata learning.
de.learnlib.datastructure.observationtable
de.learnlib.datastructure.observationtable.reader
de.learnlib.driver.reflect
de.learnlib.filter.cache.dfa
de.learnlib.filter.cache.mealy
de.learnlib.filter.cache.moore
de.learnlib.filter.cache.sul
de.learnlib.mapper
de.learnlib.oracle.membership
de.learnlib.sul	This package (and related packages) contains interfaces and classes for formalizing access to systems under learning (SULs).
de.learnlib.testsupport	This package (including sub-packages) contains utility code for formalizing test-cases.

Classes in de.learnlib used by de.learnlib

Class	Description
Mapper	A mapper that lifts a SUL or MembershipOracle from an "abstract" to a "concrete" level.

Classes in de.learnlib used by de.learnlib.algorithm.adt.automaton

Class	Description
AccessSequenceProvider	Common interface for objects that have an access sequence associated with them (e.g., states and transitions of a hypotheses).
AccessSequenceTransformer

Classes in de.learnlib used by de.learnlib.algorithm.adt.learner

Class	Description
Resumable	Data structures that implement this interface can be "suspended" by means of exposing a state object that contains all data that is necessary to resume from this state at a later point in time.

Classes in de.learnlib used by de.learnlib.algorithm.dhc.mealy

Class	Description
AccessSequenceTransformer
Resumable	Data structures that implement this interface can be "suspended" by means of exposing a state object that contains all data that is necessary to resume from this state at a later point in time.

Classes in de.learnlib used by de.learnlib.algorithm.kv.dfa

Class	Description
Resumable	Data structures that implement this interface can be "suspended" by means of exposing a state object that contains all data that is necessary to resume from this state at a later point in time.

Classes in de.learnlib used by de.learnlib.algorithm.kv.mealy

Class	Description
Resumable	Data structures that implement this interface can be "suspended" by means of exposing a state object that contains all data that is necessary to resume from this state at a later point in time.

Classes in de.learnlib used by de.learnlib.algorithm.lstar

Class	Description
Resumable	Data structures that implement this interface can be "suspended" by means of exposing a state object that contains all data that is necessary to resume from this state at a later point in time.

Classes in de.learnlib used by de.learnlib.algorithm.lstar.dfa

Class	Description
Resumable	Data structures that implement this interface can be "suspended" by means of exposing a state object that contains all data that is necessary to resume from this state at a later point in time.

Classes in de.learnlib used by de.learnlib.algorithm.lstar.mealy

Class	Description
Resumable	Data structures that implement this interface can be "suspended" by means of exposing a state object that contains all data that is necessary to resume from this state at a later point in time.

Classes in de.learnlib used by de.learnlib.algorithm.lstar.moore

Class	Description
Resumable	Data structures that implement this interface can be "suspended" by means of exposing a state object that contains all data that is necessary to resume from this state at a later point in time.

Classes in de.learnlib used by de.learnlib.algorithm.malerpnueli

Class	Description
Resumable	Data structures that implement this interface can be "suspended" by means of exposing a state object that contains all data that is necessary to resume from this state at a later point in time.

Classes in de.learnlib used by de.learnlib.algorithm.observationpack

Class	Description
Resumable	Data structures that implement this interface can be "suspended" by means of exposing a state object that contains all data that is necessary to resume from this state at a later point in time.

Classes in de.learnlib used by de.learnlib.algorithm.observationpack.dfa

Class	Description
Resumable	Data structures that implement this interface can be "suspended" by means of exposing a state object that contains all data that is necessary to resume from this state at a later point in time.

Classes in de.learnlib used by de.learnlib.algorithm.observationpack.hypothesis

Class	Description
AccessSequenceTransformer

Classes in de.learnlib used by de.learnlib.algorithm.observationpack.mealy

Class	Description
Resumable	Data structures that implement this interface can be "suspended" by means of exposing a state object that contains all data that is necessary to resume from this state at a later point in time.

Classes in de.learnlib used by de.learnlib.algorithm.observationpack.moore

Class	Description
Resumable	Data structures that implement this interface can be "suspended" by means of exposing a state object that contains all data that is necessary to resume from this state at a later point in time.

Classes in de.learnlib used by de.learnlib.algorithm.observationpack.vpa

Class	Description
AccessSequenceProvider	Common interface for objects that have an access sequence associated with them (e.g., states and transitions of a hypotheses).

Classes in de.learnlib used by de.learnlib.algorithm.observationpack.vpa.hypothesis

Class	Description
AccessSequenceProvider	Common interface for objects that have an access sequence associated with them (e.g., states and transitions of a hypotheses).

Classes in de.learnlib used by de.learnlib.algorithm.oml.lstar

Class	Description
Resumable	Data structures that implement this interface can be "suspended" by means of exposing a state object that contains all data that is necessary to resume from this state at a later point in time.

Classes in de.learnlib used by de.learnlib.algorithm.procedural.adapter.dfa

Class	Description
AccessSequenceTransformer
Resumable	Data structures that implement this interface can be "suspended" by means of exposing a state object that contains all data that is necessary to resume from this state at a later point in time.

Classes in de.learnlib used by de.learnlib.algorithm.procedural.adapter.mealy

Class	Description
AccessSequenceTransformer
Resumable	Data structures that implement this interface can be "suspended" by means of exposing a state object that contains all data that is necessary to resume from this state at a later point in time.

Classes in de.learnlib used by de.learnlib.algorithm.procedural.sba

Class	Description
AccessSequenceTransformer

Classes in de.learnlib used by de.learnlib.algorithm.procedural.spa

Class	Description
AccessSequenceTransformer

Classes in de.learnlib used by de.learnlib.algorithm.procedural.spmm

Class	Description
AccessSequenceTransformer

Classes in de.learnlib used by de.learnlib.algorithm.rivestschapire

Class	Description
Resumable	Data structures that implement this interface can be "suspended" by means of exposing a state object that contains all data that is necessary to resume from this state at a later point in time.

Classes in de.learnlib used by de.learnlib.algorithm.ttt.base

Class	Description
AccessSequenceProvider	Common interface for objects that have an access sequence associated with them (e.g., states and transitions of a hypotheses).
Resumable	Data structures that implement this interface can be "suspended" by means of exposing a state object that contains all data that is necessary to resume from this state at a later point in time.

Classes in de.learnlib used by de.learnlib.algorithm.ttt.dfa

Class	Description
AccessSequenceProvider	Common interface for objects that have an access sequence associated with them (e.g., states and transitions of a hypotheses).
Resumable	Data structures that implement this interface can be "suspended" by means of exposing a state object that contains all data that is necessary to resume from this state at a later point in time.

Classes in de.learnlib used by de.learnlib.algorithm.ttt.mealy

Class	Description
AccessSequenceProvider	Common interface for objects that have an access sequence associated with them (e.g., states and transitions of a hypotheses).
Resumable	Data structures that implement this interface can be "suspended" by means of exposing a state object that contains all data that is necessary to resume from this state at a later point in time.

Classes in de.learnlib used by de.learnlib.algorithm.ttt.moore

Class	Description
AccessSequenceProvider	Common interface for objects that have an access sequence associated with them (e.g., states and transitions of a hypotheses).
Resumable	Data structures that implement this interface can be "suspended" by means of exposing a state object that contains all data that is necessary to resume from this state at a later point in time.

Classes in de.learnlib used by de.learnlib.counterexample

Class	Description
AccessSequenceTransformer

Classes in de.learnlib used by de.learnlib.datastructure.observationtable

Class	Description
AccessSequenceTransformer

Classes in de.learnlib used by de.learnlib.datastructure.observationtable.reader

Class	Description
AccessSequenceTransformer

Classes in de.learnlib used by de.learnlib.driver.reflect

Class	Description
Mapper	A mapper that lifts a SUL or MembershipOracle from an "abstract" to a "concrete" level.
Mapper.SynchronousMapper	A mapper refinement to establish the contract of a synchronized, symbol-wise translation of input words for reactive systems.

Classes in de.learnlib used by de.learnlib.filter.cache.dfa

Class	Description
Resumable	Data structures that implement this interface can be "suspended" by means of exposing a state object that contains all data that is necessary to resume from this state at a later point in time.

Classes in de.learnlib used by de.learnlib.filter.cache.mealy

Class	Description
Resumable	Data structures that implement this interface can be "suspended" by means of exposing a state object that contains all data that is necessary to resume from this state at a later point in time.

Classes in de.learnlib used by de.learnlib.filter.cache.moore

Class	Description
Resumable	Data structures that implement this interface can be "suspended" by means of exposing a state object that contains all data that is necessary to resume from this state at a later point in time.

Classes in de.learnlib used by de.learnlib.filter.cache.sul

Class	Description
Resumable	Data structures that implement this interface can be "suspended" by means of exposing a state object that contains all data that is necessary to resume from this state at a later point in time.

Classes in de.learnlib used by de.learnlib.mapper

Class	Description
Mapper	A mapper that lifts a SUL or MembershipOracle from an "abstract" to a "concrete" level.
Mapper.AsynchronousMapper	A mapper refinement to establish the contract of an asynchronous, query-wise translation of input words.
Mapper.SynchronousMapper	A mapper refinement to establish the contract of a synchronized, symbol-wise translation of input words for reactive systems.

Classes in de.learnlib used by de.learnlib.oracle.membership

Class	Description
Mapper.AsynchronousMapper	A mapper refinement to establish the contract of an asynchronous, query-wise translation of input words.

Classes in de.learnlib used by de.learnlib.sul

Class	Description
Mapper	A mapper that lifts a SUL or MembershipOracle from an "abstract" to a "concrete" level.
Mapper.SynchronousMapper	A mapper refinement to establish the contract of a synchronized, symbol-wise translation of input words for reactive systems.

Classes in de.learnlib used by de.learnlib.testsupport

Class	Description
Resumable	Data structures that implement this interface can be "suspended" by means of exposing a state object that contains all data that is necessary to resume from this state at a later point in time.