Serialized Form

Package de.learnlib.algorithms.dhc.mealy

Class de.learnlib.algorithms.dhc.mealy.MealyDHCState extends Object implements Serializable

Serialized Fields

splitters

LinkedHashSet<E> splitters

hypothesis

CompactMealy<I,O> hypothesis

accessSequences

Map<K,V> accessSequences