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