JavaScript is disabled on your browser.
Skip navigation links
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
Prev
Next
Frames
No Frames
All Classes
A
B
C
D
E
G
H
I
K
L
M
N
O
P
R
S
T
V
A
AbstractDiscriminationTree
<
DSCR
,
I
,
O
,
D
,
N
extends
AbstractDTNode
<
DSCR
,
O
,
D
,
N
>> - Class in
de.learnlib.datastructure.discriminationtree.model
An abstract super class for aggregating several information/functionality for discrimination trees.
AbstractDiscriminationTree(N, MembershipOracle<I, O>)
- Constructor for class de.learnlib.datastructure.discriminationtree.model.
AbstractDiscriminationTree
AbstractDTNode
<
DSCR
,
O
,
D
,
N
extends
AbstractDTNode
<
DSCR
,
O
,
D
,
N
>> - Class in
de.learnlib.datastructure.discriminationtree.model
An abstract super class (DAO) for aggregating several information stored in a node of an discrimination tree.
AbstractDTNode(D)
- Constructor for class de.learnlib.datastructure.discriminationtree.model.
AbstractDTNode
AbstractDTNode(N, O, D)
- Constructor for class de.learnlib.datastructure.discriminationtree.model.
AbstractDTNode
AbstractDTNode.SplitResult
- Class in
de.learnlib.datastructure.discriminationtree.model
AbstractTemporaryIntrusiveDTNode
<
DSCR
,
O
,
D
,
T
extends
IntrusiveList
<?>,
N
extends
AbstractTemporaryIntrusiveDTNode
<
DSCR
,
O
,
D
,
T
,
N
>> - Class in
de.learnlib.datastructure.discriminationtree.model
An extension of the
AbstractDTNode
that adds the concept of temporary splitters as well as linking discrimination tree nodes outside of their regular tree structure.
AbstractTemporaryIntrusiveDTNode(N, O, D)
- Constructor for class de.learnlib.datastructure.discriminationtree.model.
AbstractTemporaryIntrusiveDTNode
AbstractWordBasedDiscriminationTree
<
I
,
O
,
D
> - Class in
de.learnlib.datastructure.discriminationtree.model
Convenient class for word-based discrimination trees that already binds certain generics.
AbstractWordBasedDiscriminationTree(AbstractWordBasedDTNode<I, O, D>, MembershipOracle<I, O>)
- Constructor for class de.learnlib.datastructure.discriminationtree.model.
AbstractWordBasedDiscriminationTree
AbstractWordBasedDTNode
<
I
,
O
,
D
> - Class in
de.learnlib.datastructure.discriminationtree.model
Convenient class for word-based discrimination tree nodes that already binds certain generics.
AbstractWordBasedDTNode(D)
- Constructor for class de.learnlib.datastructure.discriminationtree.model.
AbstractWordBasedDTNode
AbstractWordBasedDTNode(AbstractWordBasedDTNode<I, O, D>, O, D)
- Constructor for class de.learnlib.datastructure.discriminationtree.model.
AbstractWordBasedDTNode
addChild(O, D)
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractDTNode
anyChild()
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractTemporaryIntrusiveDTNode
B
BinaryDTNode
<
I
,
D
> - Class in
de.learnlib.datastructure.discriminationtree
Binary discrimination tree node specialization.
BinaryDTNode(D)
- Constructor for class de.learnlib.datastructure.discriminationtree.
BinaryDTNode
BinaryDTNode(BinaryDTNode<I, D>, Boolean, D)
- Constructor for class de.learnlib.datastructure.discriminationtree.
BinaryDTNode
BinaryDTree
<
I
,
D
> - Class in
de.learnlib.datastructure.discriminationtree
Binary discrimination tree specialization.
BinaryDTree(MembershipOracle<I, Boolean>)
- Constructor for class de.learnlib.datastructure.discriminationtree.
BinaryDTree
BinaryDTree(D, MembershipOracle<I, Boolean>)
- Constructor for class de.learnlib.datastructure.discriminationtree.
BinaryDTree
BooleanMap
<
V
> - Class in
de.learnlib.datastructure.discriminationtree.model
Primitive implementation for boolean maps.
BooleanMap()
- Constructor for class de.learnlib.datastructure.discriminationtree.model.
BooleanMap
BooleanMap(V, V)
- Constructor for class de.learnlib.datastructure.discriminationtree.model.
BooleanMap
buildQuery(N, Word<I>)
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractDiscriminationTree
buildQuery(AbstractWordBasedDTNode<I, O, D>, Word<I>)
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractWordBasedDiscriminationTree
C
child(O)
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractDTNode
child(O, D)
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractDTNode
children
- Variable in class de.learnlib.datastructure.discriminationtree.model.
AbstractDTNode
clear()
- Method in class de.learnlib.datastructure.discriminationtree.model.
BooleanMap
containsKey(Object)
- Method in class de.learnlib.datastructure.discriminationtree.model.
BooleanMap
containsValue(Object)
- Method in class de.learnlib.datastructure.discriminationtree.model.
BooleanMap
createChild(Boolean, D)
- Method in class de.learnlib.datastructure.discriminationtree.
BinaryDTNode
createChild(O, D)
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractDTNode
createChild(O, D)
- Method in class de.learnlib.datastructure.discriminationtree.
MultiDTNode
createChildMap()
- Method in class de.learnlib.datastructure.discriminationtree.
BinaryDTNode
createChildMap()
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractDTNode
createChildMap()
- Method in class de.learnlib.datastructure.discriminationtree.
MultiDTNode
D
data
- Variable in class de.learnlib.datastructure.discriminationtree.model.
AbstractDTNode
de.learnlib.datastructure.discriminationtree
- package de.learnlib.datastructure.discriminationtree
de.learnlib.datastructure.discriminationtree.iterators
- package de.learnlib.datastructure.discriminationtree.iterators
de.learnlib.datastructure.discriminationtree.model
- package de.learnlib.datastructure.discriminationtree.model
depth
- Variable in class de.learnlib.datastructure.discriminationtree.model.
AbstractDTNode
DiscriminationTreeIterators
- Class in
de.learnlib.datastructure.discriminationtree.iterators
Factory methods for several kinds of discrimination tree node iterators.
discriminator
- Variable in class de.learnlib.datastructure.discriminationtree.model.
AbstractDTNode
E
entrySet()
- Method in class de.learnlib.datastructure.discriminationtree.model.
BooleanMap
G
get(Object)
- Method in class de.learnlib.datastructure.discriminationtree.model.
BooleanMap
get(boolean)
- Method in class de.learnlib.datastructure.discriminationtree.model.
BooleanMap
getChild(O)
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractDTNode
getChildEntries()
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractDTNode
getChildren()
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractDTNode
getData()
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractDTNode
getDepth()
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractDTNode
getDiscriminator()
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractDTNode
getIncoming(O)
- Method in class de.learnlib.datastructure.discriminationtree.
SplitData
Retrieves the list of incoming transitions for the respective label.
getLabels()
- Method in class de.learnlib.datastructure.discriminationtree.
SplitData
getNextElement()
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractTemporaryIntrusiveDTNode
getNodes()
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractDiscriminationTree
getOutgoingEdges(N)
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractDiscriminationTree
getParent()
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractDTNode
getParentOutcome()
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractDTNode
getPrevElement()
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractTemporaryIntrusiveDTNode
getRoot()
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractDiscriminationTree
getSplitData()
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractTemporaryIntrusiveDTNode
getStateLabel()
- Method in class de.learnlib.datastructure.discriminationtree.
SplitData
Retrieves the state label associated with this split data.
getTarget(Map.Entry<O, N>)
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractDiscriminationTree
getVisualizationHelper()
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractDiscriminationTree
H
hasStateLabel()
- Method in class de.learnlib.datastructure.discriminationtree.
SplitData
Checks whether there is a state label associated with this node, regardless of its value.
I
innerNodeIterator(N)
- Static method in class de.learnlib.datastructure.discriminationtree.iterators.
DiscriminationTreeIterators
Iterator that traverses all inner nodes (no leaves) of a subtree of a given discrimination tree node.
isBlockRoot()
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractTemporaryIntrusiveDTNode
isEmpty()
- Method in class de.learnlib.datastructure.discriminationtree.model.
BooleanMap
isInner()
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractTemporaryIntrusiveDTNode
isLeaf()
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractDTNode
isMarked(O)
- Method in class de.learnlib.datastructure.discriminationtree.
SplitData
Checks whether the corresponding node is marked with the given label.
isRoot()
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractDTNode
isTemp()
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractTemporaryIntrusiveDTNode
K
keySet()
- Method in class de.learnlib.datastructure.discriminationtree.model.
BooleanMap
L
lcaInfo(N, N)
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractDiscriminationTree
Fetches for two nodes information about their lowest common ancestor in
this
discrimination tree.
LCAInfo
<
O
,
N
> - Class in
de.learnlib.datastructure.discriminationtree.model
DAO for aggregating information about the least common ancestor of two subtrees in a discrimination tree.
LCAInfo(N, O, O)
- Constructor for class de.learnlib.datastructure.discriminationtree.model.
LCAInfo
leafIterator(N)
- Static method in class de.learnlib.datastructure.discriminationtree.iterators.
DiscriminationTreeIterators
Iterator that traverses all leaves (no inner nodes) of a subtree of a given discrimination tree node.
leastCommonAncestor(N, N)
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractDiscriminationTree
leastCommonAncestor
- Variable in class de.learnlib.datastructure.discriminationtree.model.
LCAInfo
M
mark(O)
- Method in class de.learnlib.datastructure.discriminationtree.
SplitData
Mark this node with the given label.
MultiDTNode
<
I
,
O
,
D
> - Class in
de.learnlib.datastructure.discriminationtree
Generic n-ary discrimination tree node specialization.
MultiDTNode(D)
- Constructor for class de.learnlib.datastructure.discriminationtree.
MultiDTNode
MultiDTNode(MultiDTNode<I, O, D>, O, D)
- Constructor for class de.learnlib.datastructure.discriminationtree.
MultiDTNode
MultiDTree
<
I
,
O
,
D
> - Class in
de.learnlib.datastructure.discriminationtree
Generic n-ary discrimination tree specialization.
MultiDTree(MembershipOracle<I, O>)
- Constructor for class de.learnlib.datastructure.discriminationtree.
MultiDTree
MultiDTree(D, MembershipOracle<I, O>)
- Constructor for class de.learnlib.datastructure.discriminationtree.
MultiDTree
N
nextElement
- Variable in class de.learnlib.datastructure.discriminationtree.model.
AbstractTemporaryIntrusiveDTNode
nodeIterator(N)
- Static method in class de.learnlib.datastructure.discriminationtree.iterators.
DiscriminationTreeIterators
Iterator that traverses all nodes of a subtree of a given discrimination tree node.
nodeNew
- Variable in class de.learnlib.datastructure.discriminationtree.model.
AbstractDTNode.SplitResult
nodeOld
- Variable in class de.learnlib.datastructure.discriminationtree.model.
AbstractDTNode.SplitResult
O
oracle
- Variable in class de.learnlib.datastructure.discriminationtree.model.
AbstractDiscriminationTree
P
parent
- Variable in class de.learnlib.datastructure.discriminationtree.model.
AbstractDTNode
parentOutcome
- Variable in class de.learnlib.datastructure.discriminationtree.model.
AbstractDTNode
prevElement
- Variable in class de.learnlib.datastructure.discriminationtree.model.
AbstractTemporaryIntrusiveDTNode
put(Boolean, V)
- Method in class de.learnlib.datastructure.discriminationtree.model.
BooleanMap
put(boolean, V)
- Method in class de.learnlib.datastructure.discriminationtree.model.
BooleanMap
putAll(Map<? extends Boolean, ? extends V>)
- Method in class de.learnlib.datastructure.discriminationtree.model.
BooleanMap
R
remove(Object)
- Method in class de.learnlib.datastructure.discriminationtree.model.
BooleanMap
removeFromBlockList()
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractTemporaryIntrusiveDTNode
replaceChildren(Map<O, N>)
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractDTNode
root
- Variable in class de.learnlib.datastructure.discriminationtree.model.
AbstractDiscriminationTree
S
setChild(O, N)
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractTemporaryIntrusiveDTNode
setData(D)
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractDTNode
setDiscriminator(DSCR)
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractDTNode
setNextElement(N)
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractTemporaryIntrusiveDTNode
setOracle(MembershipOracle<I, O>)
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractDiscriminationTree
setPrevElement(IntrusiveListElem<N>)
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractTemporaryIntrusiveDTNode
setSplitData(SplitData<O, T>)
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractTemporaryIntrusiveDTNode
setStateLabel(O)
- Method in class de.learnlib.datastructure.discriminationtree.
SplitData
Sets the state label associated with this split data.
setTemp(boolean)
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractTemporaryIntrusiveDTNode
sift(Word<I>)
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractDiscriminationTree
sift(N, Word<I>)
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractDiscriminationTree
sift(N, Word<I>, Predicate<N>)
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractDiscriminationTree
sift(List<N>, List<Word<I>>)
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractDiscriminationTree
sift(List<N>, List<Word<I>>, Predicate<N>)
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractDiscriminationTree
size()
- Method in class de.learnlib.datastructure.discriminationtree.model.
BooleanMap
split(DSCR, O, O)
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractDTNode
split(DSCR, O, O, D)
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractDTNode
splitData
- Variable in class de.learnlib.datastructure.discriminationtree.model.
AbstractTemporaryIntrusiveDTNode
SplitData
<
O
,
T
extends
IntrusiveList
<?>> - Class in
de.learnlib.datastructure.discriminationtree
Data associated with a discrimination tree node while an enclosing subtree is being split.
SplitData(Supplier<T>)
- Constructor for class de.learnlib.datastructure.discriminationtree.
SplitData
SplitResult(N, N)
- Constructor for class de.learnlib.datastructure.discriminationtree.model.
AbstractDTNode.SplitResult
subtree1Label
- Variable in class de.learnlib.datastructure.discriminationtree.model.
LCAInfo
subtree2Label
- Variable in class de.learnlib.datastructure.discriminationtree.model.
LCAInfo
subtreeLabel(N)
- Method in class de.learnlib.datastructure.discriminationtree.model.
AbstractDTNode
T
temp
- Variable in class de.learnlib.datastructure.discriminationtree.model.
AbstractTemporaryIntrusiveDTNode
transformingLeafIterator(N, Function<? super N, D>)
- Static method in class de.learnlib.datastructure.discriminationtree.iterators.
DiscriminationTreeIterators
Iterator that traverses all leaves (no inner nodes) of a subtree of a given discrimination tree node.
V
values()
- Method in class de.learnlib.datastructure.discriminationtree.model.
BooleanMap
A
B
C
D
E
G
H
I
K
L
M
N
O
P
R
S
T
V
Skip navigation links
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
Prev
Next
Frames
No Frames
All Classes
Copyright © 2019. All rights reserved.