de.learnlib.acex.analyzers

Class NamedAcexAnalyzer

java.lang.Object

de.learnlib.acex.analyzers.NamedAcexAnalyzer

All Implemented Interfaces:

AcexAnalyzer

public abstract class NamedAcexAnalyzer
extends Object
implements AcexAnalyzer

An abstract counterexample analyzer that carries a name.

Author:

Malte Isberner

Constructor Summary

Constructors

Constructor and Description
NamedAcexAnalyzer(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

NamedAcexAnalyzer

public NamedAcexAnalyzer(String name)

Constructor.

Parameters:

name - the name of the counterexample analyzer

Method Detail

getName

public String getName()

Retrieves the name of this analyzer.

Returns:

the name of this analyzer

toString

public String toString()

Overrides:

toString in class Object