Interface | Description |
---|---|
GlobalSuffixFinder<I,D> |
Interface for a global suffix finder.
|
LocalSuffixFinder<I,D> |
Suffix-based local counterexample analyzer.
|
Class | Description |
---|---|
AcexLocalSuffixFinder |
Wraps a
NamedAcexAnalyzer . |
GlobalSuffixFinders |
A collection of suffix-based global counterexample analyzers.
|
LocalSuffixFinders |
A collection of suffix-based local counterexample analyzers.
|
Copyright © 2015. All rights reserved.