Package | Description |
---|---|
de.learnlib.algorithms.lstargeneric.ce | |
de.learnlib.counterexamples |
Class and Description |
---|
GlobalSuffixFinder
Interface for a global suffix finder.
|
LocalSuffixFinder
Suffix-based local counterexample analyzer.
|
Class and Description |
---|
GlobalSuffixFinder
Interface for a global suffix finder.
|
LocalSuffixFinder
Suffix-based local counterexample analyzer.
|
Copyright © 2014. All Rights Reserved.