Interface | Description |
---|---|
GlobalSuffixFinder<I,O> |
Interface for a global suffix finder.
|
LocalSuffixFinder<I,O> |
Suffix-based local counterexample analyzer.
|
Class | Description |
---|---|
GlobalSuffixFinders |
A collection of suffix-based global counterexample analyzers.
|
LocalSuffixFinders |
A collection of suffix-based local counterexample analyzers.
|
Copyright © 2014. All Rights Reserved.