- java.lang.Object
-
- de.learnlib.algorithm.nlstar.Inconsistency<I>
-
- Type Parameters:
I
- input symbol type
public class Inconsistency<I> extends Object
An (RFSA) inconsistency in anObservationTable
.
-
-
Constructor Summary
Constructors Constructor Description Inconsistency(Row<I> row1, Row<I> row2, int symbolIdx, int suffixIdx)
Constructor.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Row<I>
getRow1()
Row<I>
getRow2()
int
getSuffixIdx()
int
getSymbolIdx()
-