| Package | Description |
|---|---|
| de.learnlib.algorithms.ttt.base | |
| de.learnlib.algorithms.ttt.dfa | |
| de.learnlib.algorithms.ttt.mealy |
| Modifier and Type | Method and Description |
|---|---|
protected OutputInconsistency<I,D> |
AbstractTTTLearner.findOutputInconsistency() |
| Modifier and Type | Method and Description |
|---|---|
protected OutInconsPrefixTransformAcex<I,D> |
AbstractTTTLearner.deriveAcex(OutputInconsistency<I,D> outIncons) |
| Modifier and Type | Method and Description |
|---|---|
protected OutInconsPrefixTransformAcex<I,Boolean> |
TTTLearnerDFA.deriveAcex(OutputInconsistency<I,Boolean> outIncons) |
| Modifier and Type | Method and Description |
|---|---|
protected OutputInconsistency<I,net.automatalib.words.Word<O>> |
TTTLearnerMealy.findOutputInconsistency() |
| Modifier and Type | Method and Description |
|---|---|
protected OutInconsPrefixTransformAcex<I,net.automatalib.words.Word<O>> |
TTTLearnerMealy.deriveAcex(OutputInconsistency<I,net.automatalib.words.Word<O>> outIncons) |
Copyright © 2018. All rights reserved.