Modifier and Type | Method and Description |
---|---|
protected List<List<Row<I>>> |
AbstractLStar.incorporateCounterExample(DefaultQuery<I,D> ce)
Incorporates the information provided by a counterexample into the observation data structure.
|
protected List<Row<I>> |
AbstractExtensibleAutomatonLStar.selectClosingRows(List<List<Row<I>>> unclosed) |
protected List<Row<I>> |
AbstractLStar.selectClosingRows(List<List<Row<I>>> unclosed)
This method selects a set of rows to use for closing the table.
|
Modifier and Type | Method and Description |
---|---|
protected S |
AbstractAutomatonLStar.createState(boolean initial,
Row<I> row) |
protected void |
AbstractAutomatonLStar.setTransition(S from,
I input,
S to,
Row<I> fromRow,
int inputIdx) |
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 |
---|---|
protected boolean |
AbstractLStar.completeConsistentTable(List<List<Row<I>>> unclosed,
boolean checkConsistency)
Iteratedly checks for unclosedness and inconsistencies in the table, and fixes any occurrences thereof.
|
protected List<Row<I>> |
AbstractExtensibleAutomatonLStar.selectClosingRows(List<List<Row<I>>> unclosed) |
protected List<Row<I>> |
AbstractLStar.selectClosingRows(List<List<Row<I>>> unclosed)
This method selects a set of rows to use for closing the table.
|
Modifier and Type | Method and Description |
---|---|
static <I,D> List<List<Row<I>>> |
ObservationTableCEXHandlers.handleClassicLStar(DefaultQuery<I,D> ceQuery,
MutableObservationTable<I,D> table,
MembershipOracle<I,D> oracle) |
<RI extends I,RD extends D> |
ObservationTableCEXHandler.handleCounterexample(DefaultQuery<RI,RD> ceQuery,
MutableObservationTable<RI,RD> table,
net.automatalib.automata.concepts.SuffixOutput<RI,RD> hypOutput,
MembershipOracle<RI,RD> oracle) |
static <I,D> List<List<Row<I>>> |
ObservationTableCEXHandlers.handleGlobalSuffixes(MutableObservationTable<I,D> table,
List<? extends net.automatalib.words.Word<I>> suffixes,
MembershipOracle<I,D> oracle) |
static <I,D> List<List<Row<I>>> |
ObservationTableCEXHandlers.handleLocalSuffix(Query<I,D> ceQuery,
MutableObservationTable<I,D> table,
int suffixIndex,
boolean allSuffixes,
MembershipOracle<I,D> oracle) |
static <I,D> List<List<Row<I>>> |
ObservationTableCEXHandlers.handleLocalSuffix(Query<I,D> ceQuery,
MutableObservationTable<I,D> table,
int suffixIndex,
MembershipOracle<I,D> oracle) |
static <I,D> List<List<Row<I>>> |
ObservationTableCEXHandlers.handleSuffix1by1(DefaultQuery<I,D> ceQuery,
MutableObservationTable<I,D> table,
MembershipOracle<I,D> oracle) |
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 |
---|---|
<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 | Method and Description |
---|---|
default Row<I> |
ObservationTable.findUnclosedRow() |
Row<I> |
Inconsistency.getFirstRow()
Retrieves the first (short prefix) row constituting the inconsistency.
|
Row<I> |
ObservationTable.getRow(int idx) |
default Row<I> |
ObservationTable.getRow(net.automatalib.words.Word<I> prefix) |
default Row<I> |
ObservationTable.getRowSuccessor(Row<I> row,
I sym) |
Row<I> |
Inconsistency.getSecondRow()
Retrieves the second (short prefix) row constituting the inconsistency.
|
Row<I> |
Row.getSuccessor(int pos)
Retrieves the successor row for this short label row and the given alphabet symbol (by index).
|
Modifier and Type | Method and Description |
---|---|
List<List<Row<I>>> |
MutableObservationTable.addAlphabetSymbol(I symbol,
MembershipOracle<I,D> oracle) |
List<List<Row<I>>> |
GenericObservationTable.addAlphabetSymbol(I symbol,
MembershipOracle<I,D> oracle) |
List<List<Row<I>>> |
MutableObservationTable.addShortPrefixes(List<? extends net.automatalib.words.Word<I>> shortPrefixes,
MembershipOracle<I,D> oracle) |
List<List<Row<I>>> |
GenericObservationTable.addShortPrefixes(List<? extends net.automatalib.words.Word<I>> shortPrefixes,
MembershipOracle<I,D> oracle) |
default List<List<Row<I>>> |
MutableObservationTable.addSuffix(net.automatalib.words.Word<I> suffix,
MembershipOracle<I,D> oracle)
Adds a suffix to the list of distinguishing suffixes.
|
List<List<Row<I>>> |
GenericObservationTable.addSuffix(net.automatalib.words.Word<I> suffix,
MembershipOracle<I,D> oracle) |
List<List<Row<I>>> |
MutableObservationTable.addSuffixes(Collection<? extends net.automatalib.words.Word<I>> newSuffixes,
MembershipOracle<I,D> oracle)
Adds suffixes to the list of distinguishing suffixes.
|
List<List<Row<I>>> |
GenericObservationTable.addSuffixes(Collection<? extends net.automatalib.words.Word<I>> newSuffixes,
MembershipOracle<I,D> oracle) |
default Collection<Row<I>> |
ObservationTable.getAllRows() |
Collection<Row<I>> |
ObservationTable.getLongPrefixRows() |
Collection<Row<I>> |
GenericObservationTable.getLongPrefixRows() |
Collection<Row<I>> |
ObservationTable.getShortPrefixRows() |
List<Row<I>> |
GenericObservationTable.getShortPrefixRows() |
List<List<Row<I>>> |
MutableObservationTable.initialize(List<net.automatalib.words.Word<I>> initialShortPrefixes,
List<net.automatalib.words.Word<I>> initialSuffixes,
MembershipOracle<I,D> oracle)
Initializes an observation table using a specified set of suffixes.
|
List<List<Row<I>>> |
GenericObservationTable.initialize(List<net.automatalib.words.Word<I>> initialShortPrefixes,
List<net.automatalib.words.Word<I>> initialSuffixes,
MembershipOracle<I,D> oracle) |
List<List<Row<I>>> |
MutableObservationTable.toShortPrefixes(List<Row<I>> lpRows,
MembershipOracle<I,D> oracle)
Moves the specified rows to the set of short prefix rows.
|
List<List<Row<I>>> |
GenericObservationTable.toShortPrefixes(List<Row<I>> lpRows,
MembershipOracle<I,D> oracle) |
Modifier and Type | Method and Description |
---|---|
D |
ObservationTable.cellContents(Row<I> row,
int columnId) |
D |
GenericObservationTable.cellContents(Row<I> row,
int columnId) |
default net.automatalib.words.Word<I> |
ObservationTable.findDistinguishingSuffix(Row<I> row1,
Row<I> row2) |
default net.automatalib.words.Word<I> |
ObservationTable.findDistinguishingSuffix(Row<I> row1,
Row<I> row2) |
default int |
ObservationTable.findDistinguishingSuffixIndex(Row<I> row1,
Row<I> row2) |
default int |
ObservationTable.findDistinguishingSuffixIndex(Row<I> row1,
Row<I> row2) |
default Row<I> |
ObservationTable.getRowSuccessor(Row<I> row,
I sym) |
List<D> |
ObservationTable.rowContents(Row<I> row) |
List<D> |
GenericObservationTable.rowContents(Row<I> row) |
Modifier and Type | Method and Description |
---|---|
List<List<Row<I>>> |
MutableObservationTable.toShortPrefixes(List<Row<I>> lpRows,
MembershipOracle<I,D> oracle)
Moves the specified rows to the set of short prefix rows.
|
List<List<Row<I>>> |
GenericObservationTable.toShortPrefixes(List<Row<I>> lpRows,
MembershipOracle<I,D> oracle) |
Constructor and Description |
---|
Inconsistency(Row<I> firstRow,
Row<I> secondRow,
I symbol) |
Inconsistency(Row<I> firstRow,
Row<I> secondRow,
I symbol) |
Modifier and Type | Method and Description |
---|---|
Row<I> |
SimpleObservationTable.getRow(int idx) |
Row<I> |
SimpleObservationTable.getRow(net.automatalib.words.Word<I> prefix) |
Modifier and Type | Method and Description |
---|---|
Collection<Row<I>> |
SimpleObservationTable.getLongPrefixRows() |
Collection<Row<I>> |
SimpleObservationTable.getShortPrefixRows() |
Modifier and Type | Method and Description |
---|---|
D |
SimpleObservationTable.cellContents(Row<I> row,
int columnId) |
List<D> |
SimpleObservationTable.rowContents(Row<I> row) |
Copyright © 2018. All rights reserved.