de.learnlib.acex.analyzers

Class AbstractNamedAcexAnalyzer

java.lang.Object

de.learnlib.acex.analyzers.AbstractNamedAcexAnalyzer

All Implemented Interfaces:

AcexAnalyzer

public abstract class AbstractNamedAcexAnalyzer
extends Object
implements AcexAnalyzer

An abstract counterexample analyzer that carries a name.

Author:

Malte Isberner

Constructor Summary

Constructors

Constructor and Description
AbstractNamedAcexAnalyzer(String name) Constructor.

Method Summary

Modifier and Type	Method and 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