de.learnlib.acex.analyzers

Class AcexAnalyzers

java.lang.Object

de.learnlib.acex.analyzers.AcexAnalyzers

public abstract class AcexAnalyzers
extends Object

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

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,NamedAcexAnalyzer>	ALL_ANALYZERS
static NamedAcexAnalyzer	BINARY_SEARCH Analyzer that searches for a suffix index using binary search.
static Map<String,NamedAcexAnalyzer>	BWD_ANALYZERS
static Map<String,NamedAcexAnalyzer>	BWD_UNDIR_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 Map<String,NamedAcexAnalyzer>	FWD_UNDIR_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.
static NamedAcexAnalyzer	PARTITION_BWD Analyzer that searches for a suffix index using partition search.
static NamedAcexAnalyzer	PARTITION_FWD
static Map<String,NamedAcexAnalyzer>	UNDIRECTED_ANALYZERS

Method Summary

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

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 NamedAcexAnalyzer LINEAR_FWD

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

LINEAR_BWD

public static final NamedAcexAnalyzer LINEAR_BWD

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

BINARY_SEARCH

public static final NamedAcexAnalyzer BINARY_SEARCH

Analyzer that searches for a suffix index using binary search.

EXPONENTIAL_BWD

public static final NamedAcexAnalyzer EXPONENTIAL_BWD

Analyzer that searches for a suffix index using exponential search.

EXPONENTIAL_FWD

public static final NamedAcexAnalyzer EXPONENTIAL_FWD

PARTITION_BWD

public static final NamedAcexAnalyzer PARTITION_BWD

Analyzer that searches for a suffix index using partition search.

PARTITION_FWD

public static final NamedAcexAnalyzer PARTITION_FWD

FWD_ANALYZERS

public static final Map<String,NamedAcexAnalyzer> FWD_ANALYZERS

BWD_ANALYZERS

public static final Map<String,NamedAcexAnalyzer> BWD_ANALYZERS

UNDIRECTED_ANALYZERS

public static final Map<String,NamedAcexAnalyzer> UNDIRECTED_ANALYZERS

FWD_UNDIR_ANALYZERS

public static final Map<String,NamedAcexAnalyzer> FWD_UNDIR_ANALYZERS

BWD_UNDIR_ANALYZERS

public static final Map<String,NamedAcexAnalyzer> BWD_UNDIR_ANALYZERS

ALL_ANALYZERS

public static final Map<String,NamedAcexAnalyzer> ALL_ANALYZERS

Method Detail

getAnalyzers

public static Collection<NamedAcexAnalyzer> getAnalyzers(AcexAnalyzers.Direction dir,
                                                         boolean includeUndirected)

getForwardAnalyzers

public static Collection<NamedAcexAnalyzer> getForwardAnalyzers(boolean includeUndirected)

getForwardAnalyzers

public static Collection<NamedAcexAnalyzer> getForwardAnalyzers()

getBackwardAnalyzers

public static Collection<NamedAcexAnalyzer> getBackwardAnalyzers(boolean includeUndirected)

getBackwardAnalyzers

public static Collection<NamedAcexAnalyzer> getBackwardAnalyzers()

getUndirectedAnalyzers

public static Collection<NamedAcexAnalyzer> getUndirectedAnalyzers()

getAllAnalyzers

public static Collection<NamedAcexAnalyzer> getAllAnalyzers()