| Package | Description |
|---|---|
| de.learnlib.datastructure.observationtable | |
| de.learnlib.datastructure.observationtable.reader | |
| de.learnlib.datastructure.observationtable.writer |
| Modifier and Type | Interface and Description |
|---|---|
interface |
MutableObservationTable<I,D> |
| Modifier and Type | Class and Description |
|---|---|
class |
GenericObservationTable<I,D>
Observation table class.
|
| Modifier and Type | Method and Description |
|---|---|
static <I,D> ObservationTable<I,D> |
OTUtils.fromString(String source,
net.automatalib.words.Alphabet<I> alphabet,
ObservationTableReader<I,D> reader) |
ObservationTable<I,D> |
ObservationTableFeature.getObservationTable() |
| Modifier and Type | Method and Description |
|---|---|
static <I,D> void |
OTUtils.displayHTMLInBrowser(ObservationTable<I,D> table) |
static <I,D> void |
OTUtils.displayHTMLInBrowser(ObservationTable<I,D> table,
Function<? super net.automatalib.words.Word<? extends I>,? extends String> wordToString,
Function<? super D,? extends String> outputToString)
Displays the observation table as a HTML document in the default browser.
|
static <I,D> String |
OTUtils.toString(ObservationTable<I,D> table,
ObservationTableWriter<I,D> writer) |
static <I,D> void |
OTUtils.writeHTMLToFile(ObservationTable<I,D> table,
File file) |
static <I,D> void |
OTUtils.writeHTMLToFile(ObservationTable<I,D> table,
File file,
Function<? super net.automatalib.words.Word<? extends I>,? extends String> wordToString,
Function<? super D,? extends String> outputToString) |
| Modifier and Type | Class and Description |
|---|---|
class |
SimpleObservationTable<I,D>
This class represents the data structure of an
ObservationTable without providing any meaningful
functionality. |
| Modifier and Type | Method and Description |
|---|---|
ObservationTable<I,D> |
SuffixASCIIReader.read(String source,
net.automatalib.words.Alphabet<I> alphabet) |
ObservationTable<I,D> |
ObservationTableReader.read(String source,
net.automatalib.words.Alphabet<I> alphabet)
Reads the string representation of an observation table and returns an implementation of
ObservationTable
which allows access to short and long prefixes as well as suffixes. |
| Modifier and Type | Method and Description |
|---|---|
void |
ObservationTableHTMLWriter.write(ObservationTable<? extends I,? extends D> table,
Appendable out) |
void |
ObservationTableWriter.write(ObservationTable<? extends I,? extends D> table,
Appendable out) |
void |
SuffixASCIIWriter.write(ObservationTable<? extends I,? extends D> table,
Appendable out) |
void |
ObservationTableASCIIWriter.write(ObservationTable<? extends I,? extends D> table,
Appendable out) |
default void |
ObservationTableWriter.write(ObservationTable<? extends I,? extends D> table,
File file) |
default void |
ObservationTableWriter.write(ObservationTable<? extends I,? extends D> table,
PrintStream out) |
default void |
ObservationTableWriter.write(ObservationTable<? extends I,? extends D> table,
StringBuilder out) |
Copyright © 2018. All rights reserved.