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