de.learnlib.acex.analyzers

Class AcexAnalyzers

java.lang.Object

de.learnlib.acex.analyzers.AcexAnalyzers

public final class AcexAnalyzers
extends Object

This is a utility class, acting as a container for several AbstractNamedAcexAnalyzers.

Author:

Malte Isberner

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	AcexAnalyzers.Direction

Field Summary

Fields

Modifier and Type	Field and Description
static Map<String,AbstractNamedAcexAnalyzer>	ALL_ANALYZERS
static AbstractNamedAcexAnalyzer	BINARY_SEARCH_BWD Analyzer that searches for a suffix index using binary search.
static AbstractNamedAcexAnalyzer	BINARY_SEARCH_FWD
static Map<String,AbstractNamedAcexAnalyzer>	BWD_ANALYZERS
static AbstractNamedAcexAnalyzer	EXPONENTIAL_BWD Analyzer that searches for a suffix index using exponential search.
static AbstractNamedAcexAnalyzer	EXPONENTIAL_FWD
static Map<String,AbstractNamedAcexAnalyzer>	FWD_ANALYZERS
static AbstractNamedAcexAnalyzer	LINEAR_BWD Analyzer that linearly scans through the abstract counterexample in descending order.
static AbstractNamedAcexAnalyzer	LINEAR_FWD Analyzer that linearly scans through the abstract counterexample in ascending order.

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

LINEAR_FWD

public static final AbstractNamedAcexAnalyzer LINEAR_FWD

Analyzer that linearly scans through the abstract counterexample in ascending order.

LINEAR_BWD

public static final AbstractNamedAcexAnalyzer LINEAR_BWD

Analyzer that linearly scans through the abstract counterexample in descending order.

BINARY_SEARCH_BWD

public static final AbstractNamedAcexAnalyzer BINARY_SEARCH_BWD

Analyzer that searches for a suffix index using binary search.

BINARY_SEARCH_FWD

public static final AbstractNamedAcexAnalyzer BINARY_SEARCH_FWD

EXPONENTIAL_BWD

public static final AbstractNamedAcexAnalyzer EXPONENTIAL_BWD

Analyzer that searches for a suffix index using exponential search.

EXPONENTIAL_FWD

public static final AbstractNamedAcexAnalyzer EXPONENTIAL_FWD

FWD_ANALYZERS

public static final Map<String,AbstractNamedAcexAnalyzer> FWD_ANALYZERS

BWD_ANALYZERS

public static final Map<String,AbstractNamedAcexAnalyzer> BWD_ANALYZERS

ALL_ANALYZERS

public static final Map<String,AbstractNamedAcexAnalyzer> ALL_ANALYZERS

Method Detail

getAnalyzers

public static Collection<AbstractNamedAcexAnalyzer> getAnalyzers(AcexAnalyzers.Direction dir)

getForwardAnalyzers

public static Collection<AbstractNamedAcexAnalyzer> getForwardAnalyzers()

getBackwardAnalyzers

public static Collection<AbstractNamedAcexAnalyzer> getBackwardAnalyzers()

getAllAnalyzers

public static Collection<AbstractNamedAcexAnalyzer> getAllAnalyzers()