Serialized Form

Package de.learnlib.algorithms.kv

Class de.learnlib.algorithms.kv.StateInfo extends Object implements Serializable

Serialized Fields

id

int id

accessSequence

net.automatalib.words.Word<I> accessSequence

dtNode

AbstractWordBasedDTNode<I,O,D> dtNode

incoming

List<E> incoming

Package de.learnlib.algorithms.kv.dfa

Class de.learnlib.algorithms.kv.dfa.KearnsVaziraniDFAState extends Object implements Serializable

Serialized Fields

hypothesis

net.automatalib.automata.fsa.impl.compact.CompactDFA<I> hypothesis

discriminationTree

BinaryDTree<I,D> discriminationTree

stateInfos

List<E> stateInfos

Package de.learnlib.algorithms.kv.mealy

Class de.learnlib.algorithms.kv.mealy.KearnsVaziraniMealyState extends Object implements Serializable

Serialized Fields

hypothesis

net.automatalib.automata.transout.impl.compact.CompactMealy<I,O> hypothesis

discriminationTree

AbstractWordBasedDiscriminationTree<I,O,D> discriminationTree

stateInfos

List<E> stateInfos