Package de.learnlib.datastructure.observationtable

Class Inconsistency<I>

java.lang.Object

de.learnlib.datastructure.observationtable.Inconsistency<I>

Type Parameters:

I - input symbol type

public class Inconsistency<I>
extends Object

A description of an inconsistency in an GenericObservationTable. An inconsistency consists of two short prefixes u, u' with identical contents, and an input symbol a, such that the rows for ua and u'a have different contents.

Constructor Summary

Constructors

Constructor	Description
Inconsistency(Row<I> firstRow, Row<I> secondRow, I symbol)

Method Summary

Modifier and Type	Method	Description
Row<I>	getFirstRow()	Retrieves the first (short prefix) row constituting the inconsistency.
Row<I>	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

Inconsistency

public Inconsistency(Row<I> firstRow,
                     Row<I> secondRow,
                     I symbol)

Method Detail

getFirstRow

public Row<I> getFirstRow()

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

Returns:

the first row

getSecondRow

public Row<I> getSecondRow()

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

Returns:

the second row

getSymbol

public I getSymbol()

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

Returns:

the symbol