Package | Description |
---|---|
de.learnlib.acex.analyzers |
Modifier and Type | Field and Description |
---|---|
static AbstractNamedAcexAnalyzer |
AcexAnalyzers.BINARY_SEARCH_BWD
Analyzer that searches for a suffix index using binary search.
|
static AbstractNamedAcexAnalyzer |
AcexAnalyzers.BINARY_SEARCH_FWD |
static AbstractNamedAcexAnalyzer |
AcexAnalyzers.EXPONENTIAL_BWD
Analyzer that searches for a suffix index using exponential search.
|
static AbstractNamedAcexAnalyzer |
AcexAnalyzers.EXPONENTIAL_FWD |
static AbstractNamedAcexAnalyzer |
AcexAnalyzers.LINEAR_BWD
Analyzer that linearly scans through the abstract counterexample in descending order.
|
static AbstractNamedAcexAnalyzer |
AcexAnalyzers.LINEAR_FWD
Analyzer that linearly scans through the abstract counterexample in ascending order.
|
Modifier and Type | Field and Description |
---|---|
static Map<String,AbstractNamedAcexAnalyzer> |
AcexAnalyzers.ALL_ANALYZERS |
static Map<String,AbstractNamedAcexAnalyzer> |
AcexAnalyzers.BWD_ANALYZERS |
static Map<String,AbstractNamedAcexAnalyzer> |
AcexAnalyzers.FWD_ANALYZERS |
Modifier and Type | Method and Description |
---|---|
static Collection<AbstractNamedAcexAnalyzer> |
AcexAnalyzers.getAllAnalyzers() |
static Collection<AbstractNamedAcexAnalyzer> |
AcexAnalyzers.getAnalyzers(AcexAnalyzers.Direction dir) |
static Collection<AbstractNamedAcexAnalyzer> |
AcexAnalyzers.getBackwardAnalyzers() |
static Collection<AbstractNamedAcexAnalyzer> |
AcexAnalyzers.getForwardAnalyzers() |
Copyright © 2018. All rights reserved.