Package | Description |
---|---|
de.learnlib.counterexamples.prefixtransform |
Modifier and Type | Class and Description |
---|---|
class |
PrefixTransformAcex<I,O>
An abstract counterexample whose data is derived from prefix transformation.
|
Copyright © 2015. All rights reserved.