Package de.learnlib.acex

Class OutInconsPrefixTransformAcex<I,D>

java.lang.Object

de.learnlib.acex.AbstractBaseCounterexample<D>

de.learnlib.acex.OutInconsPrefixTransformAcex<I,D>

Type Parameters:

I - input symbol type

D - output domain type

All Implemented Interfaces:

AbstractCounterexample<D>

Direct Known Subclasses:

MealyOutInconsPrefixTransformAcex, MooreOutInconsPrefixTransformAcex

public class OutInconsPrefixTransformAcex<I,D>
extends AbstractBaseCounterexample<D>

An abstract counterexample for output inconsistencies, based on prefix transformations.

Note: this class cannot be used for Mealy machines, use MealyOutInconsPrefixTransformAcex instead.

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	OutInconsPrefixTransformAcex(Word<I> suffix, int length, MembershipOracle<I,D> oracle, Function<Word<I>,Word<I>> asTransform)
	OutInconsPrefixTransformAcex(Word<I> suffix, MembershipOracle<I,D> oracle, Function<Word<I>,Word<I>> asTransform)

Method Summary

Modifier and Type	Method	Description
boolean	checkEffects(D eff1, D eff2)
protected D	computeEffect(int index)

Methods inherited from class de.learnlib.acex.AbstractBaseCounterexample

effect, getLength, setEffect, 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

testEffects

Constructor Detail

OutInconsPrefixTransformAcex

public OutInconsPrefixTransformAcex(Word<I> suffix,
                                    MembershipOracle<I,D> oracle,
                                    Function<Word<I>,Word<I>> asTransform)

OutInconsPrefixTransformAcex

protected OutInconsPrefixTransformAcex(Word<I> suffix,
                                       int length,
                                       MembershipOracle<I,D> oracle,
                                       Function<Word<I>,Word<I>> asTransform)

Method Detail

computeEffect

protected D computeEffect(int index)

Specified by:

computeEffect in class AbstractBaseCounterexample<D>

checkEffects

public boolean checkEffects(D eff1,
                            D eff2)