Package | Description |
---|---|
de.learnlib.algorithms.kv | |
de.learnlib.algorithms.kv.dfa | |
de.learnlib.algorithms.kv.mealy |
Modifier and Type | Field and Description |
---|---|
AbstractWordBasedDTNode<I,D,StateInfo<I,D>> |
StateInfo.dtNode |
Modifier and Type | Field and Description |
---|---|
protected BinaryDTree<I,StateInfo<I,Boolean>> |
KearnsVaziraniDFA.discriminationTree |
protected List<StateInfo<I,Boolean>> |
KearnsVaziraniDFA.stateInfos |
Modifier and Type | Method and Description |
---|---|
StateInfo<I,Boolean> |
KearnsVaziraniDFA.KVAbstractCounterexample.getStateInfo(int idx) |
Modifier and Type | Method and Description |
---|---|
LCAInfo<Boolean,AbstractWordBasedDTNode<I,Boolean,StateInfo<I,Boolean>>> |
KearnsVaziraniDFA.KVAbstractCounterexample.getLCA(int idx) |
Modifier and Type | Field and Description |
---|---|
protected AbstractWordBasedDiscriminationTree<I,net.automatalib.words.Word<O>,StateInfo<I,net.automatalib.words.Word<O>>> |
KearnsVaziraniMealy.discriminationTree |
protected List<StateInfo<I,net.automatalib.words.Word<O>>> |
KearnsVaziraniMealy.stateInfos |
Modifier and Type | Method and Description |
---|---|
StateInfo<I,net.automatalib.words.Word<O>> |
KearnsVaziraniMealy.KVAbstractCounterexample.getStateInfo(int idx) |
Modifier and Type | Method and Description |
---|---|
LCAInfo<net.automatalib.words.Word<O>,AbstractWordBasedDTNode<I,net.automatalib.words.Word<O>,StateInfo<I,net.automatalib.words.Word<O>>>> |
KearnsVaziraniMealy.KVAbstractCounterexample.getLCA(int idx) |
Copyright © 2018. All rights reserved.