Package de.learnlib.counterexamples.acex

Class Summary

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.