@ParametersAreNonnullByDefault public class InconsistencyDataHolder<I> extends Object implements ObservationTable.Inconsistency<I,Boolean>
Constructor and Description |
---|
InconsistencyDataHolder(de.learnlib.algorithms.baselinelstar.ObservationTableRow<I> firstRow,
de.learnlib.algorithms.baselinelstar.ObservationTableRow<I> secondRow,
I differingSymbol) |
Modifier and Type | Method and Description |
---|---|
I |
getDifferingSymbol() |
ObservationTable.Row<I,Boolean> |
getFirstRow()
Retrieves the first (short prefix) row constituting the inconsistency.
|
Word<I> |
getFirstState() |
ObservationTable.Row<I,Boolean> |
getSecondRow()
Retrieves the second (short prefix) row constituting the inconsistency
|
Word<I> |
getSecondState() |
I |
getSymbol()
Retrieves the symbol for which's one-letter extensions the corresponding
rows have different contents.
|
public ObservationTable.Row<I,Boolean> getFirstRow()
ObservationTable.Inconsistency
getFirstRow
in interface ObservationTable.Inconsistency<I,Boolean>
public ObservationTable.Row<I,Boolean> getSecondRow()
ObservationTable.Inconsistency
getSecondRow
in interface ObservationTable.Inconsistency<I,Boolean>
public I getSymbol()
ObservationTable.Inconsistency
getSymbol
in interface ObservationTable.Inconsistency<I,Boolean>
Copyright © 2015. All rights reserved.