Package | Description |
---|---|
de.learnlib.datastructure.observationtable | |
de.learnlib.datastructure.observationtable.writer |
Modifier and Type | Method and Description |
---|---|
static <I,D> String |
OTUtils.toString(ObservationTable<I,D> table,
ObservationTableWriter<I,D> writer) |
Modifier and Type | Class and Description |
---|---|
class |
AbstractObservationTableWriter<I,D> |
class |
ObservationTableASCIIWriter<I,D> |
class |
ObservationTableHTMLWriter<I,D>
Writes an observation table as a HTML table.
|
class |
SuffixASCIIWriter<I,D>
A de.learnlib.datastructures.writer which stores the suffixes of an
ObservationTable in plaintext. |
Copyright © 2018. All rights reserved.