Serialized Form (LearnLib 0.14.0 API)

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 net.automatalib.graphs.ads.impl.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 net.automatalib.graphs.ads.impl.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 net.automatalib.automata.base.fast.AbstractFastMutableDet<ADTState<I,O>,I,ADTTransition<I,O>,Void,O> implements Serializable
- Class de.learnlib.algorithms.adt.automaton.ADTState extends net.automatalib.automata.base.fast.AbstractFastState<ADTTransition<I,O>> implements Serializable
 - Serialized Fields
 - incomingTransitions
```
Set<E> incomingTransitions
```
 - accessSequence
```
net.automatalib.words.Word 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
```
Package de.learnlib.algorithms.dhc.mealy
- Class de.learnlib.algorithms.dhc.mealy.MealyDHCState extends Object implements Serializable
 - Serialized Fields
 - splitters
```
LinkedHashSet<E> splitters
```
 - hypothesis
```
net.automatalib.automata.transducers.impl.compact.CompactMealy<I,O> hypothesis
```
 - accessSequences
```
Map<K,V> accessSequences
```
Package de.learnlib.algorithms.discriminationtree
- Class de.learnlib.algorithms.discriminationtree.DTLearnerState extends Object implements Serializable
 - Serialized Fields
 - dtree
```
AbstractWordBasedDiscriminationTree<I,O,D> dtree
```
 - hypothesis
```
DTLearnerHypothesis<I,O,SP,TP> hypothesis
```
Package de.learnlib.algorithms.discriminationtree.hypothesis
- Class de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis extends Object implements Serializable
 - Serialized Fields
 - alphabet
```
net.automatalib.words.Alphabet alphabet
```
 - alphabetSize
```
int alphabetSize
```
 - root
```
HState<I,O,SP,TP> root
```
 - nodes
```
List<E> nodes
```
- Class de.learnlib.algorithms.discriminationtree.hypothesis.HState extends Object implements Serializable
 - Serialized Fields
 - treeIncoming
```
HTransition<I,O,SP,TP> treeIncoming
```
 - id
```
int id
```
 - depth
```
int depth
```
 - transitions
```
net.automatalib.commons.smartcollections.ResizingArrayStorage<T> transitions
```
 - nonTreeIncoming
```
List<E> nonTreeIncoming
```
 - dtLeaf
```
AbstractWordBasedDTNode<I,O,D> dtLeaf
```
 - property
```
Object property
```
- Class de.learnlib.algorithms.discriminationtree.hypothesis.HTransition extends Object implements Serializable
 - Serialized Fields
 - source
```
HState<I,O,SP,TP> source
```
 - symbol
```
Object symbol
```
 - property
```
Object property
```
 - treeTgt
```
HState<I,O,SP,TP> treeTgt
```
 - dt
```
AbstractWordBasedDTNode<I,O,D> dt
```
Package de.learnlib.algorithms.discriminationtree.hypothesis.vpda
- Class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.AbstractHypTrans extends IntrusiveListElemImpl<AbstractHypTrans> implements Serializable
 - Serialized Fields
 - aseq
```
net.automatalib.words.Word aseq
```
 - prev
```
IntrusiveListElemImpl<T> prev
```
 - treeTarget
```
HypLoc treeTarget
```
 - nonTreeTarget
```
DTNode nonTreeTarget
```
- Class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.BlockList extends IntrusiveList<DTNode> implements Serializable
- Class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.DTNode extends AbstractTemporaryIntrusiveDTNode<ContextPair,Boolean,HypLoc,TransList,DTNode> implements Serializable
 - Serialized Fields
 - nonTreeIncoming
```
TransList nonTreeIncoming
```
- Class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.DTree extends AbstractDiscriminationTree<ContextPair,I,Boolean,HypLoc,DTNode> implements Serializable
- Class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.HypIntTrans extends AbstractHypTrans implements Serializable
 - Serialized Fields
 - intSymbol
```
Object intSymbol
```
- Class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.HypRetTrans extends AbstractHypTrans implements Serializable
- Class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.TransList extends IntrusiveList<AbstractHypTrans> implements Serializable
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 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 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.transducers.impl.compact.CompactMealy<I,O> hypothesis
```
 - discriminationTree
```
MultiDTree<I,O,D> discriminationTree
```
 - stateInfos
```
List<E> stateInfos
```
Package de.learnlib.algorithms.lstar
- Class de.learnlib.algorithms.lstar.AbstractLStarState extends Object implements Serializable
 - Serialized Fields
 - observationTable
```
AbstractObservationTable<I,D> observationTable
```
- Class de.learnlib.algorithms.lstar.AutomatonLStarState extends AbstractLStarState<I,D> implements Serializable
 - Serialized Fields
 - hypothesis
```
Object hypothesis
```
 - stateInfos
```
List<E> stateInfos
```
Package de.learnlib.algorithms.ttt.base
- Class de.learnlib.algorithms.ttt.base.AbstractBaseDTNode extends AbstractTemporaryIntrusiveDTNode<net.automatalib.words.Word,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
```
 - alphabetSize
```
int alphabetSize
```
 - initialState
```
TTTState<I,D> initialState
```
- Class de.learnlib.algorithms.ttt.base.BaseTTTDiscriminationTree extends AbstractDiscriminationTree<net.automatalib.words.Word,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.smartcollections.ResizingArrayStorage<T> 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 implements Serializable
 - Serialized Fields
 - prevUnlabeled
```
PrefixTTTLearnerDFA.ExtDTNode prevUnlabeled
```
 - nextUnlabeled
```
PrefixTTTLearnerDFA.ExtDTNode 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
```
Package de.learnlib.api.exception
- Class de.learnlib.api.exception.SULException extends RuntimeException implements Serializable
  
  serialVersionUID:
  
  1L
Package de.learnlib.datastructure.discriminationtree
- Class de.learnlib.datastructure.discriminationtree.BinaryDTNode extends AbstractWordBasedDTNode<I,Boolean,D> implements Serializable
- Class de.learnlib.datastructure.discriminationtree.BinaryDTree extends AbstractWordBasedDiscriminationTree<I,Boolean,D> implements Serializable
- Class de.learnlib.datastructure.discriminationtree.MultiDTNode extends AbstractWordBasedDTNode<I,O,D> implements Serializable
- Class de.learnlib.datastructure.discriminationtree.MultiDTree extends AbstractWordBasedDiscriminationTree<I,O,D> implements Serializable
Package de.learnlib.datastructure.discriminationtree.model
- Class de.learnlib.datastructure.discriminationtree.model.AbstractDiscriminationTree extends Object implements Serializable
 - Serialized Fields
 - root
```
AbstractDTNode<DSCR,O,D,N extends AbstractDTNode<DSCR,O,D,N>> root
```
- Class de.learnlib.datastructure.discriminationtree.model.AbstractDTNode extends Object implements Serializable
 - Serialized Fields
 - parent
```
AbstractDTNode<DSCR,O,D,N extends AbstractDTNode<DSCR,O,D,N>> parent
```
 - parentOutcome
```
Object parentOutcome
```
 - depth
```
int depth
```
 - children
```
Map<K,V> children
```
 - discriminator
```
Object discriminator
```
 - data
```
Object data
```
- Class de.learnlib.datastructure.discriminationtree.model.AbstractTemporaryIntrusiveDTNode extends AbstractDTNode<DSCR,O,D,N extends AbstractTemporaryIntrusiveDTNode<DSCR,O,D,T,N>> implements Serializable
 - Serialized Fields
 - splitData
```
SplitData<O,T extends IntrusiveList<?>> splitData
```
 - prevElement
```
IntrusiveListElem<T> prevElement
```
 - nextElement
```
AbstractTemporaryIntrusiveDTNode<DSCR,O,D,T extends IntrusiveList<?>,N extends AbstractTemporaryIntrusiveDTNode<DSCR,O,D,T,N>> nextElement
```
 - temp
```
boolean temp
```
- Class de.learnlib.datastructure.discriminationtree.model.AbstractWordBasedDiscriminationTree extends AbstractDiscriminationTree<net.automatalib.words.Word,I,O,D,AbstractWordBasedDTNode<I,O,D>> implements Serializable
- Class de.learnlib.datastructure.discriminationtree.model.AbstractWordBasedDTNode extends AbstractDTNode<net.automatalib.words.Word,O,D,AbstractWordBasedDTNode<I,O,D>> implements Serializable
- Class de.learnlib.datastructure.discriminationtree.model.BooleanMap extends AbstractMap<Boolean,V> implements Serializable
 - Serialized Fields
 - falseValue
```
Object falseValue
```
 - trueValue
```
Object trueValue
```
Package de.learnlib.datastructure.list
- Class de.learnlib.datastructure.list.IntrusiveList extends IntrusiveListElemImpl<T extends IntrusiveListElem<T>> implements Serializable
- Class de.learnlib.datastructure.list.IntrusiveListElemImpl extends Object implements Serializable
 - Serialized Fields
 - next
```
Object next
```
Package de.learnlib.datastructure.observationtable
- Class de.learnlib.datastructure.observationtable.AbstractObservationTable extends Object implements Serializable
 - Serialized Fields
 - shortPrefixRows
```
List<E> shortPrefixRows
```
 - longPrefixRows
```
List<E> longPrefixRows
```
 - allRows
```
List<E> allRows
```
 - allRowContents
```
List<E> allRowContents
```
 - canonicalRows
```
List<E> canonicalRows
```
 - rowContentIds
```
Map<K,V> rowContentIds
```
 - rowMap
```
Map<K,V> rowMap
```
 - suffixes
```
List<E> suffixes
```
 - suffixSet
```
Set<E> suffixSet
```
 - numRows
```
int numRows
```
 - initialConsistencyCheckRequired
```
boolean initialConsistencyCheckRequired
```
- Class de.learnlib.datastructure.observationtable.GenericObservationTable extends AbstractObservationTable<I,D> implements Serializable
- Class de.learnlib.datastructure.observationtable.InvalidRowException extends IllegalArgumentException implements Serializable
 
 serialVersionUID:
 
 1L
- Class de.learnlib.datastructure.observationtable.PartialObservationTable extends AbstractObservationTable<I,net.automatalib.words.Word<net.automatalib.automata.transducers.OutputAndLocalInputs<I,O>>> implements Serializable
Package de.learnlib.datastructure.pta.pta
- Class de.learnlib.datastructure.pta.pta.PropertyConflictException extends IllegalArgumentException implements Serializable
  
  serialVersionUID:
  
  1L
Package de.learnlib.filter.cache.dfa
- Class de.learnlib.filter.cache.dfa.DFACacheOracle.DFACacheOracleState extends Object implements Serializable
 - Serialized Fields
 - builder
```
net.automatalib.incremental.dfa.IncrementalDFABuilder builder
```
- Class de.learnlib.filter.cache.dfa.DFAHashCacheOracle.DFAHashCacheOracleState extends Object implements Serializable
 - Serialized Fields
 - cache
```
Map<K,V> cache
```
Package de.learnlib.filter.cache.mealy
- Class de.learnlib.filter.cache.mealy.MealyCacheOracle.MealyCacheOracleState extends Object implements Serializable
 - Serialized Fields
 - builder
```
net.automatalib.incremental.mealy.IncrementalMealyBuilder<I,O> builder
```
- Class de.learnlib.filter.cache.mealy.StateLocalInputMealyCacheOracle.StateLocalInputMealyCacheOracleState extends Object implements Serializable
 - Serialized Fields
 - builder
```
net.automatalib.incremental.mealy.IncrementalMealyBuilder<I,O> builder
```
 - enabledInputs
```
Map<K,V> enabledInputs
```
- Class de.learnlib.filter.cache.mealy.SymbolQueryCache.SymbolQueryCacheState extends Object implements Serializable
 - Serialized Fields
 - cache
```
net.automatalib.automata.transducers.impl.compact.CompactMealy<I,O> cache
```
Package de.learnlib.filter.cache.sul
- Class de.learnlib.filter.cache.sul.SULCache.SULCacheState extends Object implements Serializable
 - Serialized Fields
 - builder
```
net.automatalib.incremental.mealy.IncrementalMealyBuilder<I,O> builder
```
Package de.learnlib.filter.reuse
- Class de.learnlib.filter.reuse.ReuseException extends IllegalArgumentException implements Serializable
  
  serialVersionUID:
  
  3661716306694750282L
Package de.learnlib.filter.reuse.tree
- Class de.learnlib.filter.reuse.tree.BoundedDeque extends AbstractCollection<E> implements Serializable
 
 serialVersionUID:
 
 1L
 - Serialized Fields
 - evictPolicy
```
BoundedDeque.EvictPolicy evictPolicy
```
 - accessPolicy
```
BoundedDeque.AccessPolicy accessPolicy
```
 - capacity
```
int capacity
```
 - deque
```
Deque<E> deque
```
Package de.learnlib.oracle.parallelism
- Class de.learnlib.oracle.parallelism.ParallelOracleInterruptedException extends RuntimeException implements Serializable
  
  serialVersionUID:
  
  1L

Serialized Form

Package de.learnlib.algorithms.adt.adt

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

Serialized Fields

root

Class de.learnlib.algorithms.adt.adt.ADTLeafNode extends net.automatalib.graphs.ads.impl.AbstractRecursiveADSLeafNode<S,I,O,ADTNode<S,I,O>> implements Serializable

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

Serialized Fields

successor

parent

Class de.learnlib.algorithms.adt.adt.ADTSymbolNode extends net.automatalib.graphs.ads.impl.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 net.automatalib.automata.base.fast.AbstractFastMutableDet<ADTState<I,O>,I,ADTTransition<I,O>,Void,O> implements Serializable

Class de.learnlib.algorithms.adt.automaton.ADTState extends net.automatalib.automata.base.fast.AbstractFastState<ADTTransition<I,O>> implements Serializable

Serialized Fields

incomingTransitions

accessSequence

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

Serialized Fields

source

target

input

output

siftNode

isSpanningTreeEdge

Package de.learnlib.algorithms.adt.learner

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

Serialized Fields

hypothesis

adt

Package de.learnlib.algorithms.dhc.mealy

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

Serialized Fields

splitters

hypothesis

accessSequences

Package de.learnlib.algorithms.discriminationtree

Class de.learnlib.algorithms.discriminationtree.DTLearnerState extends Object implements Serializable

Serialized Fields

dtree

hypothesis

Package de.learnlib.algorithms.discriminationtree.hypothesis

Class de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis extends Object implements Serializable

Serialized Fields

alphabet

alphabetSize

root

nodes

Class de.learnlib.algorithms.discriminationtree.hypothesis.HState extends Object implements Serializable

Serialized Fields

treeIncoming

id

depth

transitions

nonTreeIncoming

dtLeaf

property

Class de.learnlib.algorithms.discriminationtree.hypothesis.HTransition extends Object implements Serializable

Serialized Fields

source

symbol

property

treeTgt

dt

Package de.learnlib.algorithms.discriminationtree.hypothesis.vpda

Class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.AbstractHypTrans extends IntrusiveListElemImpl<AbstractHypTrans<I>> implements Serializable

Serialized Fields

aseq

prev

treeTarget

nonTreeTarget

Class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.BlockList extends IntrusiveList<DTNode<I>> implements Serializable

Class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.DTNode extends AbstractTemporaryIntrusiveDTNode<ContextPair<I>,Boolean,HypLoc<I>,TransList<I>,DTNode<I>> implements Serializable

Serialized Fields

nonTreeIncoming

Class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.DTree extends AbstractDiscriminationTree<ContextPair<I>,I,Boolean,HypLoc<I>,DTNode<I>> implements Serializable

Class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.HypIntTrans extends AbstractHypTrans<I> implements Serializable

Serialized Fields