de.learnlib.acex

Interface AbstractCounterexample<E>

All Known Implementing Classes:

AbstractBaseCounterexample, ClassicPrefixTransformAcex, DTLearnerVPDA.PrefixTransformAcex, KearnsVaziraniDFA.KVAbstractCounterexample, KearnsVaziraniMealy.KVAbstractCounterexample, MealyOutInconsPrefixTransformAcex, OutInconsPrefixTransformAcex

public interface AbstractCounterexample<E>

Method Summary

Modifier and Type	Method and Description
boolean	checkEffects(E eff1, E eff2)
E	effect(int index)
int	getLength()
default boolean	testEffects(int i, int j)

Method Detail

getLength

int getLength()

testEffects

default boolean testEffects(int i,
                            int j)

checkEffects

boolean checkEffects(E eff1,
                     E eff2)

effect

E effect(int index)