Package de.learnlib.acex

Class MealyOutInconsPrefixTransformAcex<I,O>

java.lang.Object

de.learnlib.acex.AbstractBaseCounterexample<D>

de.learnlib.acex.OutInconsPrefixTransformAcex<I,Word<O>>

de.learnlib.acex.MealyOutInconsPrefixTransformAcex<I,O>

All Implemented Interfaces:

AbstractCounterexample<Word<O>>

public class MealyOutInconsPrefixTransformAcex<I,O>
extends OutInconsPrefixTransformAcex<I,Word<O>>

Constructor Summary

Constructors

Constructor	Description
MealyOutInconsPrefixTransformAcex(Word<I> suffix, MembershipOracle<I,Word<O>> oracle, Function<Word<I>,Word<I>> asTransform)

Method Summary

Modifier and Type	Method	Description
boolean	checkEffects(Word<O> eff1, Word<O> eff2)

Methods inherited from class de.learnlib.acex.OutInconsPrefixTransformAcex

computeEffect

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

MealyOutInconsPrefixTransformAcex

public MealyOutInconsPrefixTransformAcex(Word<I> suffix,
                                         MembershipOracle<I,Word<O>> oracle,
                                         Function<Word<I>,Word<I>> asTransform)

Method Detail

checkEffects

public boolean checkEffects(Word<O> eff1,
                            Word<O> eff2)

Specified by:

checkEffects in interface AbstractCounterexample<I>

Overrides:

checkEffects in class OutInconsPrefixTransformAcex<I,Word<O>>