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