```
public final class AcexAnalyzers
extends Object
```
This is a utility class, acting as a container for several AbstractNamedAcexAnalyzers.

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

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

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.

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.

public static final AbstractNamedAcexAnalyzer EXPONENTIAL_FWD

public static final Map<String,AbstractNamedAcexAnalyzer> FWD_ANALYZERS

public static final Map<String,AbstractNamedAcexAnalyzer> BWD_ANALYZERS

public static final Map<String,AbstractNamedAcexAnalyzer> ALL_ANALYZERS

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

public static Collection<AbstractNamedAcexAnalyzer> getForwardAnalyzers()

public static Collection<AbstractNamedAcexAnalyzer> getBackwardAnalyzers()

public static Collection<AbstractNamedAcexAnalyzer> getAllAnalyzers()

Class AcexAnalyzers