Uses of Class
de.learnlib.algorithm.kv.StateInfo

Packages that use StateInfo

Package	Description
de.learnlib.algorithm.kv
de.learnlib.algorithm.kv.dfa
de.learnlib.algorithm.kv.mealy

Uses of StateInfo in de.learnlib.algorithm.kv

Fields in de.learnlib.algorithm.kv with type parameters of type StateInfo

Modifier and Type	Field	Description
AbstractWordBasedDTNode<I,D,StateInfo<I,D>>	StateInfo.dtNode

Uses of StateInfo in de.learnlib.algorithm.kv.dfa

Fields in de.learnlib.algorithm.kv.dfa with type parameters of type StateInfo

Modifier and Type	Field	Description
protected List<StateInfo<I,Boolean>>	KearnsVaziraniDFA.stateInfos

Methods in de.learnlib.algorithm.kv.dfa that return StateInfo

Modifier and Type	Method	Description
StateInfo<I,Boolean>	KearnsVaziraniDFA.KVAbstractCounterexample.getStateInfo(int idx)

Methods in de.learnlib.algorithm.kv.dfa that return types with arguments of type StateInfo

Modifier and Type	Method	Description
BinaryDTree<I,StateInfo<I,Boolean>>	KearnsVaziraniDFA.getDiscriminationTree()
LCAInfo<Boolean,AbstractWordBasedDTNode<I,Boolean,StateInfo<I,Boolean>>>	KearnsVaziraniDFA.KVAbstractCounterexample.getLCA(int idx)

Uses of StateInfo in de.learnlib.algorithm.kv.mealy

Fields in de.learnlib.algorithm.kv.mealy with type parameters of type StateInfo

Modifier and Type	Field	Description
protected List<StateInfo<I,net.automatalib.word.Word<O>>>	KearnsVaziraniMealy.stateInfos

Methods in de.learnlib.algorithm.kv.mealy that return StateInfo

Modifier and Type	Method	Description
StateInfo<I,net.automatalib.word.Word<O>>	KearnsVaziraniMealy.KVAbstractCounterexample.getStateInfo(int idx)

Methods in de.learnlib.algorithm.kv.mealy that return types with arguments of type StateInfo

Modifier and Type	Method	Description
MultiDTree<I,net.automatalib.word.Word<O>,StateInfo<I,net.automatalib.word.Word<O>>>	KearnsVaziraniMealy.getDiscriminationTree()
LCAInfo<net.automatalib.word.Word<O>,@Nullable AbstractWordBasedDTNode<I,net.automatalib.word.Word<O>,StateInfo<I,net.automatalib.word.Word<O>>>>	KearnsVaziraniMealy.KVAbstractCounterexample.getLCA(int idx)