Serialized Form

Package de.learnlib.algorithms.adt.adt

Class de.learnlib.algorithms.adt.adt.ADT extends Object implements Serializable

Serialized Fields

root

ADTNode<S,I,O> root

Class de.learnlib.algorithms.adt.adt.ADTLeafNode extends AbstractRecursiveADSLeafNode<S,I,O,ADTNode<S,I,O>> implements Serializable

Class de.learnlib.algorithms.adt.adt.ADTResetNode extends Object implements Serializable

Serialized Fields

successor

ADTNode<S,I,O> successor

parent

ADTNode<S,I,O> parent

Class de.learnlib.algorithms.adt.adt.ADTSymbolNode extends AbstractRecursiveADSSymbolNode<S,I,O,ADTNode<S,I,O>> implements Serializable

Package de.learnlib.algorithms.adt.api

Class de.learnlib.algorithms.adt.api.PartialTransitionAnalyzer.HypothesisModificationException extends RuntimeException implements Serializable

Package de.learnlib.algorithms.adt.automaton

Class de.learnlib.algorithms.adt.automaton.ADTHypothesis extends AbstractFastMutableDet<ADTState<I,O>,I,ADTTransition<I,O>,Void,O> implements Serializable

Class de.learnlib.algorithms.adt.automaton.ADTState extends AbstractFastState<ADTTransition<I,O>> implements Serializable

Serialized Fields

incomingTransitions

Set<E> incomingTransitions

accessSequence

Word<I> accessSequence

Class de.learnlib.algorithms.adt.automaton.ADTTransition extends Object implements Serializable

Serialized Fields

source

ADTState<I,O> source

target

ADTState<I,O> target

input

Object input

output

Object output

siftNode

ADTNode<S,I,O> siftNode

isSpanningTreeEdge

boolean isSpanningTreeEdge

Package de.learnlib.algorithms.adt.learner

Class de.learnlib.algorithms.adt.learner.ADTLearnerState extends Object implements Serializable

Serialized Fields

hypothesis

ADTHypothesis<I,O> hypothesis

adt

ADT<S,I,O> adt