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> |
BaseTTTLearner.findOutputInconsistency() |
Modifier and Type | Method and Description |
---|---|
protected OutInconsPrefixTransformAcex<I,D> |
BaseTTTLearner.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 © 2016. All rights reserved.