Modifier and Type | Method and Description |
---|---|
ObservationTable<I,D> |
AbstractLStar.getObservationTable() |
Modifier and Type | Method and Description |
---|---|
protected abstract SP |
AbstractAutomatonLStar.stateProperty(ObservationTable<I,D> table,
Row<I> stateRow)
Derives a state property from the corresponding row.
|
protected abstract TP |
AbstractAutomatonLStar.transitionProperty(ObservationTable<I,D> table,
Row<I> stateRow,
int inputIdx)
Derives a transition property from the corresponding transition.
|
Modifier and Type | Method and Description |
---|---|
<RI,RD> List<Row<RI>> |
CloseRandomStrategy.selectClosingRows(List<List<Row<RI>>> unclosedClasses,
ObservationTable<RI,RD> table,
MembershipOracle<RI,RD> oracle) |
<RI extends I,RO extends D> |
ClosingStrategy.selectClosingRows(List<List<Row<RI>>> unclosedClasses,
ObservationTable<RI,RO> table,
MembershipOracle<RI,RO> oracle)
Given a list of row equivalence classes, this method selects for each of the classes one (representative) row
which is being closed.
|
Modifier and Type | Method and Description |
---|---|
protected Boolean |
ExtensibleLStarDFA.stateProperty(ObservationTable<I,Boolean> table,
Row<I> stateRow) |
protected Void |
ExtensibleLStarDFA.transitionProperty(ObservationTable<I,Boolean> table,
Row<I> stateRow,
int inputIdx) |
Modifier and Type | Method and Description |
---|---|
protected Void |
ClassicLStarMealy.stateProperty(ObservationTable<I,O> table,
Row<I> stateRow) |
protected Void |
ExtensibleLStarMealy.stateProperty(ObservationTable<I,net.automatalib.words.Word<O>> table,
Row<I> stateRow) |
protected O |
ClassicLStarMealy.transitionProperty(ObservationTable<I,O> table,
Row<I> stateRow,
int inputIdx) |
protected O |
ExtensibleLStarMealy.transitionProperty(ObservationTable<I,net.automatalib.words.Word<O>> table,
Row<I> stateRow,
int inputIdx) |
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 |
SuffixASCIIWriter.write(ObservationTable<? extends I,? extends D> table,
Appendable out) |
void |
ObservationTableWriter.write(ObservationTable<? extends I,? extends D> table,
Appendable out) |
void |
ObservationTableHTMLWriter.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.