Serialized Form

Package de.learnlib.algorithms.kv

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

Serialized Fields

id

int id

accessSequence

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

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

CompactMealy<I,O> hypothesis

discriminationTree

MultiDTree<I,O,D> discriminationTree

stateInfos

List<E> stateInfos