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.

Author:

Malte Isberner

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and 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

@Nonnull
public Row<I> getFirstRow()

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

Returns:

the first row

getSecondRow

@Nonnull
public Row<I> getSecondRow()

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

Returns:

the second row

getSymbol

@Nullable
public I getSymbol()

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

Returns:

the symbol