|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Classes in de.ls5.jlearn.interfaces used by de.ls5.jlearn.algorithms.angluin | |
|---|---|
| Alphabet
An alphabet is an ordered set of symbols. |
|
| Automaton
Basic interface for Automaton models. |
|
| Learner
Interface for learning algorithms |
|
| Oracle
This interface encapsulates access to the SUT (System Under Test). |
|
| SplitterCreator
Encapsulates a strategy to handle counterexamples, e.g., to determine a suffix which identifies states in the hypothesis which should be split. |
|
| Symbol
Represents a symbol, which, e.g., can be used as input for the System Under Test (SUT) or which is output of the SUT. |
|
| Word
A Word is an ordered set of Symbol objects. |
|
| Classes in de.ls5.jlearn.interfaces used by de.ls5.jlearn.algorithms.dhc | |
|---|---|
| Alphabet
An alphabet is an ordered set of symbols. |
|
| Automaton
Basic interface for Automaton models. |
|
| Learner
Interface for learning algorithms |
|
| ObservableDataStructure
Deprecated. |
|
| Oracle
This interface encapsulates access to the SUT (System Under Test). |
|
| SplitterCreator
Encapsulates a strategy to handle counterexamples, e.g., to determine a suffix which identifies states in the hypothesis which should be split. |
|
| State
A state of an Automaton. |
|
| Symbol
Represents a symbol, which, e.g., can be used as input for the System Under Test (SUT) or which is output of the SUT. |
|
| Word
A Word is an ordered set of Symbol objects. |
|
| Classes in de.ls5.jlearn.interfaces used by de.ls5.jlearn.algorithms.dhcmodular | |
|---|---|
| Alphabet
An alphabet is an ordered set of symbols. |
|
| Automaton
Basic interface for Automaton models. |
|
| Learner
Interface for learning algorithms |
|
| ObservableDataStructure
Deprecated. |
|
| Oracle
This interface encapsulates access to the SUT (System Under Test). |
|
| SplitterCreator
Encapsulates a strategy to handle counterexamples, e.g., to determine a suffix which identifies states in the hypothesis which should be split. |
|
| State
A state of an Automaton. |
|
| Symbol
Represents a symbol, which, e.g., can be used as input for the System Under Test (SUT) or which is output of the SUT. |
|
| Word
A Word is an ordered set of Symbol objects. |
|
| Classes in de.ls5.jlearn.interfaces used by de.ls5.jlearn.algorithms.packs | |
|---|---|
| Alphabet
An alphabet is an ordered set of symbols. |
|
| Automaton
Basic interface for Automaton models. |
|
| Learner
Interface for learning algorithms |
|
| ObservableDataStructure
Deprecated. |
|
| Oracle
This interface encapsulates access to the SUT (System Under Test). |
|
| SplitterCreator
Encapsulates a strategy to handle counterexamples, e.g., to determine a suffix which identifies states in the hypothesis which should be split. |
|
| State
A state of an Automaton. |
|
| Symbol
Represents a symbol, which, e.g., can be used as input for the System Under Test (SUT) or which is output of the SUT. |
|
| Word
A Word is an ordered set of Symbol objects. |
|
| Classes in de.ls5.jlearn.interfaces used by de.ls5.jlearn.automatons | |
|---|---|
| Alphabet
An alphabet is an ordered set of symbols. |
|
| Automaton
Basic interface for Automaton models. |
|
| Classes in de.ls5.jlearn.interfaces used by de.ls5.jlearn.batchoracles | |
|---|---|
| BatchOracle
This interface encapsulates access to the SUT (System Under Test). |
|
| Oracle
This interface encapsulates access to the SUT (System Under Test). |
|
| Word
A Word is an ordered set of Symbol objects. |
|
| Classes in de.ls5.jlearn.interfaces used by de.ls5.jlearn.equivalenceoracles | |
|---|---|
| Automaton
Basic interface for Automaton models. |
|
| EquivalenceOracle
Interface for equivalence oracles |
|
| EquivalenceOracleOutput
Result of findCounterExample method of EquivalenceOracle
if a counterexample was found. |
|
| Oracle
This interface encapsulates access to the SUT (System Under Test). |
|
| Word
A Word is an ordered set of Symbol objects. |
|
| Classes in de.ls5.jlearn.interfaces used by de.ls5.jlearn.exporter.gui | |
|---|---|
| Automaton
Basic interface for Automaton models. |
|
| Classes in de.ls5.jlearn.interfaces used by de.ls5.jlearn.interfaces | |
|---|---|
| Alphabet
An alphabet is an ordered set of symbols. |
|
| Automaton
Basic interface for Automaton models. |
|
| EquivalenceOracleOutput
Result of findCounterExample method of EquivalenceOracle
if a counterexample was found. |
|
| Oracle
This interface encapsulates access to the SUT (System Under Test). |
|
| SplitterCreator
Encapsulates a strategy to handle counterexamples, e.g., to determine a suffix which identifies states in the hypothesis which should be split. |
|
| State
A state of an Automaton. |
|
| Symbol
Represents a symbol, which, e.g., can be used as input for the System Under Test (SUT) or which is output of the SUT. |
|
| Word
A Word is an ordered set of Symbol objects. |
|
| Classes in de.ls5.jlearn.interfaces used by de.ls5.jlearn.logging | |
|---|---|
| Word
A Word is an ordered set of Symbol objects. |
|
| Classes in de.ls5.jlearn.interfaces used by de.ls5.jlearn.oracles | |
|---|---|
| Alphabet
An alphabet is an ordered set of symbols. |
|
| AsyncOracle
An asynchronous oracle buffers queries, which can be retrieved and processed. |
|
| Automaton
Basic interface for Automaton models. |
|
| Cache
A cache records queries and corresponding answers. |
|
| FilterStickyOutput
Interface for filters which repeat certains symbols after their first encounter (thus the name "sticky symbol") within an output word. |
|
| Oracle
This interface encapsulates access to the SUT (System Under Test). |
|
| Symbol
Represents a symbol, which, e.g., can be used as input for the System Under Test (SUT) or which is output of the SUT. |
|
| Word
A Word is an ordered set of Symbol objects. |
|
| Classes in de.ls5.jlearn.interfaces used by de.ls5.jlearn.shared | |
|---|---|
| Alphabet
An alphabet is an ordered set of symbols. |
|
| Annotated
Interface for automata that can be annotated with additional information |
|
| Automaton
Basic interface for Automaton models. |
|
| State
A state of an Automaton. |
|
| Symbol
Represents a symbol, which, e.g., can be used as input for the System Under Test (SUT) or which is output of the SUT. |
|
| SymbolComplex
Marker-interface for Symbols which contain a List of Symbol
objects as user object. |
|
| Word
A Word is an ordered set of Symbol objects. |
|
| Classes in de.ls5.jlearn.interfaces used by de.ls5.jlearn.splittercreators | |
|---|---|
| Automaton
Basic interface for Automaton models. |
|
| Oracle
This interface encapsulates access to the SUT (System Under Test). |
|
| SplitterCreator
Encapsulates a strategy to handle counterexamples, e.g., to determine a suffix which identifies states in the hypothesis which should be split. |
|
| State
A state of an Automaton. |
|
| Word
A Word is an ordered set of Symbol objects. |
|
| Classes in de.ls5.jlearn.interfaces used by de.ls5.jlearn.util | |
|---|---|
| Alphabet
An alphabet is an ordered set of symbols. |
|
| Automaton
Basic interface for Automaton models. |
|
| State
A state of an Automaton. |
|
| Symbol
Represents a symbol, which, e.g., can be used as input for the System Under Test (SUT) or which is output of the SUT. |
|
| Word
A Word is an ordered set of Symbol objects. |
|
| Classes in de.ls5.jlearn.interfaces used by de.ls5.jlearn.util.xml | |
|---|---|
| Symbol
Represents a symbol, which, e.g., can be used as input for the System Under Test (SUT) or which is output of the SUT. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||