de.learnlib.acex.impl

Class BaseAbstractCounterexample

java.lang.Object

de.learnlib.acex.impl.BaseAbstractCounterexample

All Implemented Interfaces:

AbstractCounterexample

Direct Known Subclasses:

PrefixTransformAcex

public abstract class BaseAbstractCounterexample
extends Object
implements AbstractCounterexample

Base class for abstract counterexamples.

Author:

Malte Isberner

Constructor Summary

Constructors

Constructor and Description
BaseAbstractCounterexample(int m) Constructor.

Method Summary

Modifier and Type	Method and Description
protected abstract int	computeEffect(int index) Computes the effect of a prefix transformation.
int	getLength() Retrieves the length of the abstract counterexample
int	test(int index) Tests the effect of performing a prefix transformation for the given index.
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

BaseAbstractCounterexample

public BaseAbstractCounterexample(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

Returns:

the length of the counterexample

test

public int test(int index)

Tests the effect of performing a prefix transformation for the given index. If the prefix transformation causes hypothesis and target system to agree, 1 is returned, and 0 otherwise.

This method corresponds to the α mapping from the paper.

Specified by:

test in interface AbstractCounterexample

Parameters:

index - the index for the prefix transformation

Returns:

1 if prefix transformation causes target and hypothesis to agree, 0 otherwise.

computeEffect

protected abstract int computeEffect(int index)

Computes the effect of a prefix transformation.

toString

public String toString()

Overrides:

toString in class Object