Uses of Class
de.learnlib.acex.AbstractNamedAcexAnalyzer

Packages that use AbstractNamedAcexAnalyzer

Package	Description
de.learnlib.acex	This package provides interfaces and classes for the abstract counterexample analysis framework described in the paper An Abstract Framework for Counterexample Analysis in Active Automata Learning by Malte Isberner and Bernhard Steffen.

Uses of AbstractNamedAcexAnalyzer in de.learnlib.acex

Fields in de.learnlib.acex declared as AbstractNamedAcexAnalyzer

Modifier and Type	Field	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.

Fields in de.learnlib.acex with type parameters of type AbstractNamedAcexAnalyzer

Modifier and Type	Field	Description
static Map<String,AbstractNamedAcexAnalyzer>	AcexAnalyzers.ALL_ANALYZERS
static Map<String,AbstractNamedAcexAnalyzer>	AcexAnalyzers.BWD_ANALYZERS
static Map<String,AbstractNamedAcexAnalyzer>	AcexAnalyzers.FWD_ANALYZERS

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

Modifier and Type	Method	Description
static Collection<AbstractNamedAcexAnalyzer>	AcexAnalyzers.getAllAnalyzers()
static Collection<AbstractNamedAcexAnalyzer>	AcexAnalyzers.getAnalyzers(AcexAnalyzers.Direction dir)
static Collection<AbstractNamedAcexAnalyzer>	AcexAnalyzers.getBackwardAnalyzers()
static Collection<AbstractNamedAcexAnalyzer>	AcexAnalyzers.getForwardAnalyzers()