All Classes
-
All Classes Interface Summary Class Summary Enum Summary Class Description AbstractBaseCounterexample<E> AbstractCounterexample<E> AbstractNamedAcexAnalyzer An abstract counterexample analyzer that carries a name.AcexAnalysisAlgorithms AcexAnalyzer AcexAnalyzers This is a utility class, acting as a container for severalAbstractNamedAcexAnalyzers.AcexAnalyzers.Direction AcexLocalSuffixFinder Wraps aAbstractNamedAcexAnalyzer.ClassicPrefixTransformAcex<I,D> An abstract counterexample based on prefix transformations.GlobalSuffixFinder<I,D> Interface for a global suffix finder.GlobalSuffixFinders A collection of suffix-based global counterexample analyzers.LocalSuffixFinder<I,D> Suffix-based local counterexample analyzer.LocalSuffixFinders A collection of suffix-based local counterexample analyzers.MealyOutInconsPrefixTransformAcex<I,O> MooreOutInconsPrefixTransformAcex<I,O> OutInconsPrefixTransformAcex<I,D> An abstract counterexample for output inconsistencies, based on prefix transformations.