AbstractNamedAcexAnalyzer (LearnLib 0.17.0 API)

java.lang.Object
- de.learnlib.acex.AbstractNamedAcexAnalyzer

All Implemented Interfaces:

AcexAnalyzer
```
public abstract class AbstractNamedAcexAnalyzer
extends Object
implements AcexAnalyzer
```
An abstract counterexample analyzer that carries a name.

- Constructor Summary
  
  Constructors
  Constructor Description
  
  AbstractNamedAcexAnalyzer(String name)
  Constructor.
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  String getName()
  Retrieves the name of this analyzer.
  
  String toString()
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
  - Methods inherited from interface de.learnlib.acex.AcexAnalyzer
    analyzeAbstractCounterexample, analyzeAbstractCounterexample, analyzeAbstractCounterexample

- Constructor Detail
  - AbstractNamedAcexAnalyzer
```
public AbstractNamedAcexAnalyzer(String name)
```
    Constructor.
    
    Parameters:
    
    name - the name of the counterexample analyzer
- Method Detail
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object
  - getName
```
public String getName()
```
    Retrieves the name of this analyzer.
    
    Returns:
    
    the name of this analyzer