protected class KearnsVaziraniMealy.KVAbstractCounterexample extends AbstractBaseCounterexample<Boolean>
Constructor and Description |
---|
KVAbstractCounterexample(net.automatalib.words.Word<I> ceWord,
net.automatalib.words.Word<O> output,
MembershipOracle<I,net.automatalib.words.Word<O>> oracle) |
Modifier and Type | Method and Description |
---|---|
boolean |
checkEffects(Boolean eff1,
Boolean eff2) |
protected Boolean |
computeEffect(int index) |
LCAInfo<net.automatalib.words.Word<O>,AbstractWordBasedDTNode<I,net.automatalib.words.Word<O>,StateInfo<I,net.automatalib.words.Word<O>>>> |
getLCA(int idx) |
StateInfo<I,net.automatalib.words.Word<O>> |
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, net.automatalib.words.Word<O> output, MembershipOracle<I,net.automatalib.words.Word<O>> oracle)
public LCAInfo<net.automatalib.words.Word<O>,AbstractWordBasedDTNode<I,net.automatalib.words.Word<O>,StateInfo<I,net.automatalib.words.Word<O>>>> getLCA(int idx)
protected Boolean computeEffect(int index)
computeEffect
in class AbstractBaseCounterexample<Boolean>
Copyright © 2018. All rights reserved.