de.learnlib.algorithms.features.observationtable

Class ObservationTable.DefaultInconsistency<I,D>

java.lang.Object

de.learnlib.algorithms.features.observationtable.ObservationTable.DefaultInconsistency<I,D>

All Implemented Interfaces:

ObservationTable.Inconsistency<I,D>

Enclosing interface:

ObservationTable<I,D>

public static class ObservationTable.DefaultInconsistency<I,D>
extends Object
implements ObservationTable.Inconsistency<I,D>

Constructor Summary

Constructors

Constructor and Description
DefaultInconsistency(ObservationTable.Row<I,D> firstRow, ObservationTable.Row<I,D> secondRow, I symbol)

Method Summary

Modifier and Type	Method and Description
ObservationTable.Row<I,D>	getFirstRow() Retrieves the first (short prefix) row constituting the inconsistency.
ObservationTable.Row<I,D>	getSecondRow() Retrieves the second (short prefix) row constituting the inconsistency
I	getSymbol() Retrieves the symbol for which's one-letter extensions the corresponding rows have different contents.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DefaultInconsistency

public DefaultInconsistency(ObservationTable.Row<I,D> firstRow,
                            ObservationTable.Row<I,D> secondRow,
                            I symbol)

Method Detail

getFirstRow

public ObservationTable.Row<I,D> getFirstRow()

Description copied from interface: ObservationTable.Inconsistency

Retrieves the first (short prefix) row constituting the inconsistency.

Specified by:

getFirstRow in interface ObservationTable.Inconsistency<I,D>

Returns:

the first row

getSecondRow

public ObservationTable.Row<I,D> getSecondRow()

Description copied from interface: ObservationTable.Inconsistency

Retrieves the second (short prefix) row constituting the inconsistency

Specified by:

getSecondRow in interface ObservationTable.Inconsistency<I,D>

Returns:

the second row

getSymbol

public I getSymbol()

Description copied from interface: ObservationTable.Inconsistency

Retrieves the symbol for which's one-letter extensions the corresponding rows have different contents.

Specified by:

getSymbol in interface ObservationTable.Inconsistency<I,D>

Returns:

the symbol