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

Packages that use StateInfo

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

Uses of StateInfo in de.learnlib.algorithms.kv

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

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

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

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

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

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

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

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

Modifier and Type	Method and 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.algorithms.kv.mealy

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

Modifier and Type	Field and Description
protected MultiDTree<I,Word<O>,StateInfo<I,Word<O>>>	KearnsVaziraniMealy.discriminationTree
protected List<StateInfo<I,Word<O>>>	KearnsVaziraniMealy.stateInfos

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

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

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

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