Class | Description |
---|---|
ClassicPrefixTransformAcex<I,D> |
An abstract counterexample based on prefix transformations.
|
MealyOutInconsPrefixTransformAcex<I,O> | |
OutInconsPrefixTransformAcex<I,D> |
An abstract counterexample for output inconsistencies, based on prefix transformations.
|
Copyright © 2018. All rights reserved.