Inconsistency (LearnLib 0.18.0 API)

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

All Methods Instance Methods Concrete Methods
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