protected class KearnsVaziraniDFA.KVAbstractCounterexample extends AbstractBaseCounterexample<Boolean>
Constructor and Description |
---|
KVAbstractCounterexample(net.automatalib.words.Word<I> ceWord,
boolean output,
MembershipOracle<I,Boolean> oracle) |
Modifier and Type | Method and 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) |
effect, getLength, setEffect, toString
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
testEffects
public KVAbstractCounterexample(net.automatalib.words.Word<I> ceWord, boolean output, MembershipOracle<I,Boolean> oracle)
public LCAInfo<Boolean,AbstractWordBasedDTNode<I,Boolean,StateInfo<I,Boolean>>> getLCA(int idx)
protected Boolean computeEffect(int index)
computeEffect
in class AbstractBaseCounterexample<Boolean>
Copyright © 2018. All rights reserved.