I
- input symbol classD
- output classpublic final class Inconsistency<I,D> extends Object
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.Constructor and Description |
---|
Inconsistency(Row<I> firstRow,
Row<I> secondRow,
int inputIndex)
Constructor.
|
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.
|
Copyright © 2015. All rights reserved.