de.learnlib.algorithms.lstargeneric.table

Class Inconsistency<I,O>

java.lang.Object

de.learnlib.algorithms.lstargeneric.table.Inconsistency<I,O>

Type Parameters:

I - input symbol class

O - output class

public final class Inconsistency<I,O>
extends Object

A description of an inconsistency in an ObservationTable. 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, int inputIndex) Constructor.

Method Summary

Methods

Modifier and Type	Method and Description
Row<I>	getFirstRow() Retrieves the first row.
int	getInputIndex() Retrieves the index of the input symbol for which the successor rows differ.
Row<I>	getSecondRow() Retrieves the second row.

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,
             int inputIndex)

Constructor.

Parameters:

firstRow - the first row

secondRow - the second row

inputIndex - the input symbol for which the successor rows differ

Method Detail

getFirstRow

public Row<I> getFirstRow()

Retrieves the first row.

Returns:

the first row

getSecondRow

public Row<I> getSecondRow()

Retrieves the second row.

Returns:

the second row

getInputIndex

public int getInputIndex()

Retrieves the index of the input symbol for which the successor rows differ.

Returns:

the input symbol index