Package de.learnlib.algorithm.kv.mealy

Class KearnsVaziraniMealy.KVAbstractCounterexample

java.lang.Object

de.learnlib.acex.AbstractBaseCounterexample<Boolean>

de.learnlib.algorithm.kv.mealy.KearnsVaziraniMealy.KVAbstractCounterexample

All Implemented Interfaces:

AbstractCounterexample<Boolean>

Enclosing class:

KearnsVaziraniMealy<I,O>

protected class KearnsVaziraniMealy.KVAbstractCounterexample
extends AbstractBaseCounterexample<Boolean>

Constructor Summary

Constructors

Constructor	Description
KVAbstractCounterexample(Word<I> ceWord, Word<O> output, MembershipOracle<I,Word<O>> oracle)

Method Summary

Modifier and Type	Method	Description
boolean	checkEffects(Boolean eff1, Boolean eff2)
protected Boolean	computeEffect(int index)
LCAInfo<Word<O>,@Nullable AbstractWordBasedDTNode<I,Word<O>,StateInfo<I,Word<O>>>>	getLCA(int idx)
StateInfo<I,Word<O>>	getStateInfo(int idx)

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

KVAbstractCounterexample

public KVAbstractCounterexample(Word<I> ceWord,
                                Word<O> output,
                                MembershipOracle<I,Word<O>> oracle)

Method Detail

getStateInfo

public StateInfo<I,Word<O>> getStateInfo(int idx)

getLCA

public LCAInfo<Word<O>,@Nullable AbstractWordBasedDTNode<I,Word<O>,StateInfo<I,Word<O>>>> getLCA(int idx)

computeEffect

protected Boolean computeEffect(int index)

Specified by:

computeEffect in class AbstractBaseCounterexample<Boolean>

checkEffects

public boolean checkEffects(Boolean eff1,
                            Boolean eff2)