Package | Description |
---|---|
de.learnlib.counterexamples.acex |
Modifier and Type | Class and Description |
---|---|
class |
ClassicPrefixTransformAcex<I,D>
An abstract counterexample based on prefix transformations.
|
class |
MealyOutInconsPrefixTransformAcex<I,O> |
class |
OutInconsPrefixTransformAcex<I,D>
An abstract counterexample for output inconsistencies, based on prefix transformations.
|
Copyright © 2016. All rights reserved.