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>> |
ExtensibleAutomatonLStar.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,
Row<I> toRow) |
protected void |
AbstractAutomatonLStar.setTransition(S from,
I input,
S to,
Row<I> fromRow,
int inputIdx,
Row<I> toRow) |
protected abstract SP |
AbstractAutomatonLStar.stateProperty(Row<I> stateRow)
Derives a state property from the corresponding row.
|
protected abstract TP |
AbstractAutomatonLStar.transitionProperty(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>> |
ExtensibleAutomatonLStar.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,
ObservationTable<I,D> table,
MembershipOracle<I,D> oracle) |
<RI extends I,RD extends D> |
ObservationTableCEXHandler.handleCounterexample(DefaultQuery<RI,RD> ceQuery,
ObservationTable<RI,RD> table,
SuffixOutput<RI,RD> hypOutput,
MembershipOracle<RI,RD> oracle) |
static <I,D> List<List<Row<I>>> |
ObservationTableCEXHandlers.handleGlobalSuffixes(ObservationTable<I,D> table,
List<? extends Word<I>> suffixes,
MembershipOracle<I,D> oracle) |
static <I,D> List<List<Row<I>>> |
ObservationTableCEXHandlers.handleLocalSuffix(Query<I,D> ceQuery,
ObservationTable<I,D> table,
int suffixIndex,
boolean allSuffixes,
MembershipOracle<I,D> oracle) |
static <I,D> List<List<Row<I>>> |
ObservationTableCEXHandlers.handleLocalSuffix(Query<I,D> ceQuery,
ObservationTable<I,D> table,
int suffixIndex,
MembershipOracle<I,D> oracle) |
static <I,D> List<List<Row<I>>> |
ObservationTableCEXHandlers.handleSuffix1by1(DefaultQuery<I,D> ceQuery,
ObservationTable<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(Row<I> stateRow) |
protected Void |
ExtensibleLStarDFA.transitionProperty(Row<I> stateRow,
int inputIdx) |
Modifier and Type | Method and Description |
---|---|
protected Void |
ExtensibleLStarMealy.stateProperty(Row<I> stateRow) |
protected Void |
ClassicLStarMealy.stateProperty(Row<I> stateRow) |
protected O |
ExtensibleLStarMealy.transitionProperty(Row<I> stateRow,
int inputIdx) |
protected O |
ClassicLStarMealy.transitionProperty(Row<I> stateRow,
int inputIdx) |
Modifier and Type | Method and Description |
---|---|
protected Row<I> |
ObservationTable.createLpRow(Word<I> prefix) |
protected Row<I> |
ObservationTable.createSpRow(Word<I> prefix) |
Row<I> |
Inconsistency.getFirstRow()
Retrieves the first row.
|
Row<I> |
ObservationTable.getRow(int rowId) |
Row<I> |
ObservationTable.getRowSuccessor(Row<I> row,
I sym) |
Row<I> |
Inconsistency.getSecondRow()
Retrieves the second row.
|
Row<I> |
Row.getSuccessor(int inputIdx)
Retrieves the successor row for this short prefix row and the given alphabet
symbol (by index).
|
Modifier and Type | Method and Description |
---|---|
List<List<Row<I>>> |
ObservationTable.addShortPrefixes(List<? extends Word<I>> shortPrefixes,
MembershipOracle<I,D> oracle) |
List<List<Row<I>>> |
ObservationTable.addSuffix(Word<I> suffix,
MembershipOracle<I,D> oracle)
Adds a suffix to the list of distinguishing suffixes.
|
List<List<Row<I>>> |
ObservationTable.addSuffixes(Collection<? extends Word<I>> newSuffixes,
MembershipOracle<I,D> oracle)
Adds suffixes to the list of distinguishing suffixes.
|
List<Row<I>> |
ObservationTable.getShortPrefixRows() |
List<List<Row<I>>> |
ObservationTable.initialize(List<Word<I>> initialShortPrefixes,
List<Word<I>> initialSuffixes,
MembershipOracle<I,D> oracle)
Initializes an observation table using a specified set of suffixes.
|
List<List<Row<I>>> |
ObservationTable.toShortPrefixes(List<Row<I>> lpRows,
MembershipOracle<I,D> oracle)
Moves the specified rows to the set of short prefix rows.
|
Modifier and Type | Method and Description |
---|---|
D |
ObservationTable.cellContents(Row<I> row,
int columnId) |
Row<I> |
ObservationTable.getRowSuccessor(Row<I> row,
I sym) |
protected boolean |
ObservationTable.makeShort(Row<I> row) |
protected boolean |
ObservationTable.processContents(Row<I> row,
List<D> rowContents,
boolean makeCanonical) |
List<D> |
ObservationTable.rowContents(Row<I> row) |
void |
Row.setSuccessor(int inputIdx,
Row<I> succ)
Sets the successor row for this short prefix row and the given alphabet symbol
(by index).
|
Modifier and Type | Method and Description |
---|---|
protected static <I,D> void |
ObservationTable.buildRowQueries(List<DefaultQuery<I,D>> queryList,
List<Row<I>> rows,
List<? extends Word<I>> suffixes) |
List<List<Row<I>>> |
ObservationTable.toShortPrefixes(List<Row<I>> lpRows,
MembershipOracle<I,D> oracle)
Moves the specified rows to the set of short prefix rows.
|
Constructor and Description |
---|
Inconsistency(Row<I> firstRow,
Row<I> secondRow,
int inputIndex)
Constructor.
|
Inconsistency(Row<I> firstRow,
Row<I> secondRow,
int inputIndex)
Constructor.
|
Copyright © 2015. All rights reserved.