Package | Description |
---|---|
de.learnlib.algorithms.ttt.vpda |
Modifier and Type | Method and Description |
---|---|
protected DTLearnerVPDA.PrefixTransformAcex |
TTTLearnerVPDA.deriveAcex(de.learnlib.algorithms.ttt.vpda.OutputInconsistency<I> outIncons) |
Copyright © 2018. All rights reserved.