Uses of Class
de.learnlib.acex.analyzers.NamedAcexAnalyzer

Packages that use NamedAcexAnalyzer

Package	Description
de.learnlib.acex.analyzers

Uses of NamedAcexAnalyzer in de.learnlib.acex.analyzers

Fields in de.learnlib.acex.analyzers declared as NamedAcexAnalyzer

Modifier and Type	Field and Description
static NamedAcexAnalyzer	AcexAnalyzers.BINARY_SEARCH Analyzer that searches for a suffix index using binary search.
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.
static NamedAcexAnalyzer	AcexAnalyzers.PARTITION_BWD Analyzer that searches for a suffix index using partition search.
static NamedAcexAnalyzer	AcexAnalyzers.PARTITION_FWD

Fields in de.learnlib.acex.analyzers with type parameters of type NamedAcexAnalyzer

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.BWD_UNDIR_ANALYZERS
static Map<String,NamedAcexAnalyzer>	AcexAnalyzers.FWD_ANALYZERS
static Map<String,NamedAcexAnalyzer>	AcexAnalyzers.FWD_UNDIR_ANALYZERS
static Map<String,NamedAcexAnalyzer>	AcexAnalyzers.UNDIRECTED_ANALYZERS

Methods in de.learnlib.acex.analyzers that return types with arguments of type NamedAcexAnalyzer

Modifier and Type	Method and Description
static Collection<NamedAcexAnalyzer>	AcexAnalyzers.getAllAnalyzers()
static Collection<NamedAcexAnalyzer>	AcexAnalyzers.getAnalyzers(AcexAnalyzers.Direction dir, boolean includeUndirected)
static Collection<NamedAcexAnalyzer>	AcexAnalyzers.getBackwardAnalyzers()
static Collection<NamedAcexAnalyzer>	AcexAnalyzers.getBackwardAnalyzers(boolean includeUndirected)
static Collection<NamedAcexAnalyzer>	AcexAnalyzers.getForwardAnalyzers()
static Collection<NamedAcexAnalyzer>	AcexAnalyzers.getForwardAnalyzers(boolean includeUndirected)
static Collection<NamedAcexAnalyzer>	AcexAnalyzers.getUndirectedAnalyzers()