Package | Description |
---|---|
de.learnlib.algorithms.lstargeneric | |
de.learnlib.algorithms.lstargeneric.table |
Modifier and Type | Method and Description |
---|---|
protected Word<I> |
AbstractLStar.analyzeInconsistency(Inconsistency<I,O> incons)
Analyzes an inconsistency.
|
Modifier and Type | Method and Description |
---|---|
Inconsistency<I,O> |
ObservationTable.findInconsistency() |
Copyright © 2014. All Rights Reserved.