Package de.learnlib.acex

Class MooreOutInconsPrefixTransformAcex<I,O>

java.lang.Object

de.learnlib.acex.AbstractBaseCounterexample<D>

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

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

All Implemented Interfaces:

AbstractCounterexample<Word<O>>

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

Constructor Summary

Constructors

Constructor	Description
MooreOutInconsPrefixTransformAcex(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

MooreOutInconsPrefixTransformAcex

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