Package de.learnlib.acex

Class AbstractBaseCounterexample<E>

java.lang.Object

de.learnlib.acex.AbstractBaseCounterexample<E>

All Implemented Interfaces:

AbstractCounterexample<E>

Direct Known Subclasses:

ClassicPrefixTransformAcex, OutInconsPrefixTransformAcex

public abstract class AbstractBaseCounterexample<E>
extends Object
implements AbstractCounterexample<E>

Constructor Summary

Constructors

Constructor	Description
AbstractBaseCounterexample(int m)	Constructor.

Method Summary

Modifier and Type	Method	Description
protected abstract E	computeEffect(int index)
E	effect(int index)
int	getLength()	Retrieves the length of the abstract counterexample.
void	setEffect(int index, E effect)
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.AbstractCounterexample

checkEffects, testEffects

Constructor Detail

AbstractBaseCounterexample

public AbstractBaseCounterexample(int m)

Constructor.

Parameters:

m - length of the counterexample

Method Detail

getLength

public int getLength()

Retrieves the length of the abstract counterexample.

Specified by:

getLength in interface AbstractCounterexample<E>

Returns:

the length of the counterexample

effect

public E effect(int index)

Specified by:

effect in interface AbstractCounterexample<E>

computeEffect

protected abstract E computeEffect(int index)

setEffect

public void setEffect(@UnknownInitialization(AbstractBaseCounterexample.class) AbstractBaseCounterexample<E> this,
                      int index,
                      E effect)

toString

public String toString()

Overrides:

toString in class Object