Module de.learnlib.algorithm.kv

Package de.learnlib.algorithm.kv.dfa

Class KearnsVaziraniDFA.KVAbstractCounterexample

java.lang.Object

de.learnlib.acex.AbstractBaseCounterexample<Boolean>

de.learnlib.algorithm.kv.dfa.KearnsVaziraniDFA.KVAbstractCounterexample

All Implemented Interfaces:

AbstractCounterexample<Boolean>

Enclosing class:

KearnsVaziraniDFA<I>

protected class KearnsVaziraniDFA.KVAbstractCounterexample
extends AbstractBaseCounterexample<Boolean>

Constructor Summary

Constructors

Constructor	Description
KVAbstractCounterexample(net.automatalib.word.Word<I> ceWord, boolean output, MembershipOracle<I,Boolean> oracle)

Method Summary

Modifier and Type	Method	Description
boolean	checkEffects(Boolean eff1, Boolean eff2)
protected Boolean	computeEffect(int index)
LCAInfo<Boolean,AbstractWordBasedDTNode<I,Boolean,StateInfo<I,Boolean>>>	getLCA(int idx)
StateInfo<I,Boolean>	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(net.automatalib.word.Word<I> ceWord,
                                boolean output,
                                MembershipOracle<I,Boolean> oracle)

Method Detail

getStateInfo

public StateInfo<I,Boolean> getStateInfo(int idx)

getLCA

public LCAInfo<Boolean,AbstractWordBasedDTNode<I,Boolean,StateInfo<I,Boolean>>> getLCA(int idx)

computeEffect

protected Boolean computeEffect(int index)

Specified by:

computeEffect in class AbstractBaseCounterexample<Boolean>

checkEffects

public boolean checkEffects(Boolean eff1,
                            Boolean eff2)