Serialized Form

Package de.learnlib.algorithms.ttt.base

Class de.learnlib.algorithms.ttt.base.AbstractBaseDTNode extends AbstractTemporaryIntrusiveDTNode<net.automatalib.words.Word<I>,D,TTTState<I,D>,IncomingList<I,D>,AbstractBaseDTNode<I,D>> implements Serializable

Serialized Fields

incoming

IncomingList<I,D> incoming

Class de.learnlib.algorithms.ttt.base.AbstractTTTHypothesis extends Object implements Serializable

Serialized Fields

states

List<E> states

initialState

TTTState<I,D> initialState

Class de.learnlib.algorithms.ttt.base.BaseTTTDiscriminationTree extends AbstractDiscriminationTree<net.automatalib.words.Word<I>,I,D,TTTState<I,D>,AbstractBaseDTNode<I,D>> implements Serializable

Class de.learnlib.algorithms.ttt.base.BlockList extends IntrusiveList<AbstractBaseDTNode<I,D>> implements Serializable

Class de.learnlib.algorithms.ttt.base.HypothesisChangedException extends RuntimeException implements Serializable

serialVersionUID:

1L

Class de.learnlib.algorithms.ttt.base.IncomingList extends IntrusiveList<TTTTransition<I,D>> implements Serializable

Class de.learnlib.algorithms.ttt.base.TTTLearnerState extends Object implements Serializable

Serialized Fields

hypothesis

AbstractTTTHypothesis<I,D,T> hypothesis

discriminationTree

BaseTTTDiscriminationTree<I,D> discriminationTree

Class de.learnlib.algorithms.ttt.base.TTTState extends Object implements Serializable

Serialized Fields

id

int id

transitions

net.automatalib.commons.util.array.ResizingObjectArray transitions

parentTransition

TTTTransition<I,D> parentTransition

dtLeaf

AbstractBaseDTNode<I,D> dtLeaf

Class de.learnlib.algorithms.ttt.base.TTTTransition extends IntrusiveListElemImpl<TTTTransition<I,D>> implements Serializable

Serialized Fields

source

TTTState<I,D> source

input

Object input

prevIncoming

IntrusiveListElem<T> prevIncoming

nonTreeTarget

AbstractBaseDTNode<I,D> nonTreeTarget

treeTarget

TTTState<I,D> treeTarget

Package de.learnlib.algorithms.ttt.dfa

Class de.learnlib.algorithms.ttt.dfa.PrefixTTTLearnerDFA.ExtDTNode extends TTTDTNodeDFA<I> implements Serializable

Serialized Fields

prevUnlabeled

PrefixTTTLearnerDFA.ExtDTNode<I> prevUnlabeled

nextUnlabeled

PrefixTTTLearnerDFA.ExtDTNode<I> nextUnlabeled

tempPrefix

int tempPrefix

Class de.learnlib.algorithms.ttt.dfa.TTTDTNodeDFA extends AbstractBaseDTNode<I,Boolean> implements Serializable

Class de.learnlib.algorithms.ttt.dfa.TTTHypothesisDFA extends AbstractTTTHypothesis<I,Boolean,TTTState<I,Boolean>> implements Serializable

Class de.learnlib.algorithms.ttt.dfa.TTTStateDFA extends TTTState<I,Boolean> implements Serializable

Serialized Fields

accepting

boolean accepting

Package de.learnlib.algorithms.ttt.mealy

Class de.learnlib.algorithms.ttt.mealy.TTTDTNodeMealy extends AbstractBaseDTNode<I,D> implements Serializable

Class de.learnlib.algorithms.ttt.mealy.TTTHypothesisMealy extends AbstractTTTHypothesis<I,net.automatalib.words.Word<O>,TTTTransitionMealy<I,O>> implements Serializable

Class de.learnlib.algorithms.ttt.mealy.TTTTransitionMealy extends TTTTransition<I,net.automatalib.words.Word<O>> implements Serializable

Serialized Fields

output

Object output