Uses of Class
de.learnlib.algorithms.lstargeneric.table.Row

Packages that use Row

Package	Description
de.learnlib.algorithms.lstargeneric
de.learnlib.algorithms.lstargeneric.ce
de.learnlib.algorithms.lstargeneric.closing
de.learnlib.algorithms.lstargeneric.dfa
de.learnlib.algorithms.lstargeneric.mealy
de.learnlib.algorithms.lstargeneric.table

Uses of Row in de.learnlib.algorithms.lstargeneric

Methods in de.learnlib.algorithms.lstargeneric that return types with arguments of type Row

Modifier and Type	Method and Description
protected List<List<Row<I>>>	AbstractLStar.incorporateCounterExample(DefaultQuery<I,O> ce) Incorporates the information provided by a counterexample into the observation data structure.
protected List<Row<I>>	AbstractLStar.selectClosingRows(List<List<Row<I>>> unclosed) This method selects a set of rows to use for closing the table.
protected List<Row<I>>	ExtensibleAutomatonLStar.selectClosingRows(List<List<Row<I>>> unclosed)

Methods in de.learnlib.algorithms.lstargeneric with parameters of type Row

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.

Method parameters in de.learnlib.algorithms.lstargeneric with type arguments of type Row

Modifier and Type	Method and Description
protected void	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>>	AbstractLStar.selectClosingRows(List<List<Row<I>>> unclosed) This method selects a set of rows to use for closing the table.
protected List<Row<I>>	ExtensibleAutomatonLStar.selectClosingRows(List<List<Row<I>>> unclosed)

Uses of Row in de.learnlib.algorithms.lstargeneric.ce

Methods in de.learnlib.algorithms.lstargeneric.ce that return types with arguments of type Row

Modifier and Type	Method and Description
static <I,O> List<List<Row<I>>>	ObservationTableCEXHandlers.handleClassicLStar(DefaultQuery<I,O> ceQuery, ObservationTable<I,O> table, MembershipOracle<I,O> oracle)
<RI extends I,RO extends O> List<List<Row<RI>>>	ObservationTableCEXHandler.handleCounterexample(DefaultQuery<RI,RO> ceQuery, ObservationTable<RI,RO> table, SuffixOutput<RI,RO> hypOutput, MembershipOracle<RI,RO> oracle)
static <I,O> List<List<Row<I>>>	ObservationTableCEXHandlers.handleGlobalSuffixes(ObservationTable<I,O> table, List<Word<I>> suffixes, MembershipOracle<I,O> oracle)
static <I,O> List<List<Row<I>>>	ObservationTableCEXHandlers.handleLocalSuffix(Query<I,O> ceQuery, ObservationTable<I,O> table, int suffixIndex, boolean allSuffixes, MembershipOracle<I,O> oracle)
static <I,O> List<List<Row<I>>>	ObservationTableCEXHandlers.handleLocalSuffix(Query<I,O> ceQuery, ObservationTable<I,O> table, int suffixIndex, MembershipOracle<I,O> oracle)
static <I,O> List<List<Row<I>>>	ObservationTableCEXHandlers.handleSuffix1by1(DefaultQuery<I,O> ceQuery, ObservationTable<I,O> table, MembershipOracle<I,O> oracle)

Uses of Row in de.learnlib.algorithms.lstargeneric.closing

Methods in de.learnlib.algorithms.lstargeneric.closing that return types with arguments of type Row

Modifier and Type	Method and Description
<RI extends I,RO extends O> List<Row<RI>>	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.
<RI,RO> List<Row<RI>>	CloseRandomStrategy.selectClosingRows(List<List<Row<RI>>> unclosedClasses, ObservationTable<RI,RO> table, MembershipOracle<RI,RO> oracle)

Method parameters in de.learnlib.algorithms.lstargeneric.closing with type arguments of type Row

Modifier and Type	Method and Description
<RI extends I,RO extends O> List<Row<RI>>	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.
<RI,RO> List<Row<RI>>	CloseRandomStrategy.selectClosingRows(List<List<Row<RI>>> unclosedClasses, ObservationTable<RI,RO> table, MembershipOracle<RI,RO> oracle)

Uses of Row in de.learnlib.algorithms.lstargeneric.dfa

Methods in de.learnlib.algorithms.lstargeneric.dfa with parameters of type Row

Modifier and Type	Method and Description
protected Boolean	ExtensibleLStarDFA.stateProperty(Row<I> stateRow)
protected Void	ExtensibleLStarDFA.transitionProperty(Row<I> stateRow, int inputIdx)

Uses of Row in de.learnlib.algorithms.lstargeneric.mealy

Methods in de.learnlib.algorithms.lstargeneric.mealy with parameters of type Row

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)

Uses of Row in de.learnlib.algorithms.lstargeneric.table

Methods in de.learnlib.algorithms.lstargeneric.table that return Row

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).

Methods in de.learnlib.algorithms.lstargeneric.table that return types with arguments of type Row

Modifier and Type	Method and Description
List<List<Row<I>>>	ObservationTable.addShortPrefixes(List<Word<I>> shortPrefixes, MembershipOracle<I,O> oracle)
List<List<Row<I>>>	ObservationTable.addSuffix(Word<I> suffix, MembershipOracle<I,O> oracle) Adds a suffix to the list of distinguishing suffixes.
List<List<Row<I>>>	ObservationTable.addSuffixes(List<Word<I>> newSuffixes, MembershipOracle<I,O> oracle) Adds suffixes to the list of distinguishing suffixes.
List<Row<I>>	ObservationTable.getShortPrefixRows()
List<List<Row<I>>>	ObservationTable.initialize(List<Word<I>> initialSuffixes, MembershipOracle<I,O> oracle) Initializes an observation table using a specified set of suffixes.
List<List<Row<I>>>	ObservationTable.toShortPrefixes(List<Row<I>> lpRows, MembershipOracle<I,O> oracle) Moves the specified rows to the set of short prefix rows.

Methods in de.learnlib.algorithms.lstargeneric.table with parameters of type Row

Modifier and Type	Method and Description
O	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<O> rowContents, boolean makeCanonical)
List<O>	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).

Method parameters in de.learnlib.algorithms.lstargeneric.table with type arguments of type Row

Modifier and Type	Method and Description
protected static <I,O> void	ObservationTable.buildRowQueries(List<DefaultQuery<I,O>> queryList, List<Row<I>> rows, List<Word<I>> suffixes)
List<List<Row<I>>>	ObservationTable.toShortPrefixes(List<Row<I>> lpRows, MembershipOracle<I,O> oracle) Moves the specified rows to the set of short prefix rows.

Constructors in de.learnlib.algorithms.lstargeneric.table with parameters of type Row

Constructor and Description
Inconsistency(Row<I> firstRow, Row<I> secondRow, int inputIndex) Constructor.
Inconsistency(Row<I> firstRow, Row<I> secondRow, int inputIndex) Constructor.