Package | Description |
---|---|
de.learnlib.algorithms.ttt.base | |
de.learnlib.algorithms.ttt.dfa | |
de.learnlib.algorithms.ttt.mealy |
Modifier and Type | Field and Description |
---|---|
protected DTNode<I,D> |
BlockListElem.nextBlock |
DTNode<I,D> |
BaseTTTLearner.Splitter.succSeparator |
Modifier and Type | Method and Description |
---|---|
DTNode<I,D> |
DTNode.child(D value) |
DTNode<I,D> |
BlockList.chooseBlock()
Retrieves any block from the list.
|
protected DTNode<I,D> |
BaseTTTLearner.chooseInnerNode(DTNode<I,D> root) |
protected DTNode<I,D> |
BaseTTTLearner.chooseLeaf(DTNode<I,D> root) |
DTNode<I,D> |
DTNode.getChild(D value) |
DTNode<I,D> |
TTTState.getDTLeaf()
Retrieves the discrimination tree leaf associated with this state.
|
DTNode<I,D> |
TTTTransition.getDTTarget() |
DTNode<I,D> |
DTNode.getExtremalChild(D label) |
DTNode<I,D> |
TTTTransition.getNonTreeTarget() |
DTNode<I,D> |
DTNode.getParent() |
DTNode<I,D> |
DiscriminationTree.getRoot()
Retrieves the root node of this tree.
|
DTNode<I,D> |
DiscriminationTree.GraphView.getTarget(DTNode<I,D> edge) |
DTNode<I,D> |
DiscriminationTree.leastCommonAncestor(DTNode<I,D> node1,
DTNode<I,D> node2) |
DTNode<I,D> |
DiscriminationTree.sift(AccessSequenceProvider<I> asp)
Sifts an access sequence provided by an object into the tree, starting
at the root.
|
DTNode<I,D> |
DiscriminationTree.sift(AccessSequenceProvider<I> asp,
boolean hard)
Sifts an access sequence provided by an object into the tree,
starting at the root.
|
DTNode<I,D> |
DiscriminationTree.sift(DTNode<I,D> start,
AccessSequenceProvider<I> asp,
boolean hard) |
DTNode<I,D> |
DiscriminationTree.sift(DTNode<I,D> start,
Word<I> word,
boolean hard) |
DTNode<I,D> |
DiscriminationTree.sift(Word<I> word) |
DTNode<I,D> |
DiscriminationTree.sift(Word<I> word,
boolean hard) |
protected DTNode<I,D>[] |
BaseTTTLearner.split(DTNode<I,D> node,
Word<I> discriminator,
D... outputs) |
Modifier and Type | Method and Description |
---|---|
Collection<? extends Map.Entry<D,DTNode<I,D>>> |
DTNode.getChildEntries() |
Collection<? extends DTNode<I,D>> |
DTNode.getChildren() |
GraphDOTHelper<DTNode<I,D>,DTNode<I,D>> |
DiscriminationTree.GraphView.getGraphDOTHelper() |
GraphDOTHelper<DTNode<I,D>,DTNode<I,D>> |
DiscriminationTree.GraphView.getGraphDOTHelper() |
Collection<? extends DTNode<I,D>> |
DiscriminationTree.GraphView.getNodes() |
Collection<? extends DTNode<I,D>> |
DiscriminationTree.GraphView.getOutgoingEdges(DTNode<I,D> node) |
Iterable<DTNode<I,D>> |
DTNode.innerNodes() |
Iterator<DTNode<I,D>> |
DTNode.innerNodesIterator() |
Iterator<DTNode<I,D>> |
BlockList.iterator() |
Iterable<DTNode<I,D>> |
DTNode.subtreeLeaves() |
Iterator<DTNode<I,D>> |
DTNode.subtreeLeavesIterator() |
Iterator<DTNode<I,D>> |
DTNode.subtreeNodesIterator() |
Modifier and Type | Method and Description |
---|---|
protected DTNode<I,D> |
BaseTTTLearner.chooseInnerNode(DTNode<I,D> root) |
protected DTNode<I,D> |
BaseTTTLearner.chooseLeaf(DTNode<I,D> root) |
protected void |
BaseTTTLearner.declareFinal(DTNode<I,D> blockRoot) |
void |
TTTEventListener.ensureConsistency(TTTState<I,D> state,
DTNode<I,D> dtNode,
D realOutcome) |
Collection<? extends DTNode<I,D>> |
DiscriminationTree.GraphView.getOutgoingEdges(DTNode<I,D> node) |
DTNode<I,D> |
DiscriminationTree.GraphView.getTarget(DTNode<I,D> edge) |
void |
BlockList.insertBlock(DTNode<I,D> blockRoot)
Inserts a block into the list.
|
DTNode<I,D> |
DiscriminationTree.leastCommonAncestor(DTNode<I,D> node1,
DTNode<I,D> node2) |
DTNode<I,D> |
DiscriminationTree.leastCommonAncestor(DTNode<I,D> node1,
DTNode<I,D> node2) |
void |
TTTEventListener.postFinalizeDiscriminator(DTNode<I,D> blockRoot,
BaseTTTLearner.Splitter<I,D> splitter) |
protected D |
BaseTTTLearner.predictSuccOutcome(TTTTransition<I,D> trans,
DTNode<I,D> succSeparator) |
void |
TTTEventListener.preFinalizeDiscriminator(DTNode<I,D> blockRoot,
BaseTTTLearner.Splitter<I,D> splitter) |
void |
DTNode.setChild(D label,
DTNode<I,D> newChild) |
DTNode<I,D> |
DiscriminationTree.sift(DTNode<I,D> start,
AccessSequenceProvider<I> asp,
boolean hard) |
DTNode<I,D> |
DiscriminationTree.sift(DTNode<I,D> start,
Word<I> word,
boolean hard) |
protected DTNode<I,D>[] |
BaseTTTLearner.split(DTNode<I,D> node,
Word<I> discriminator,
D... outputs) |
D |
DTNode.subtreeLabel(DTNode<I,D> descendant) |
Constructor and Description |
---|
DTNode(DTNode<I,D> parent,
D parentEdgeLabel) |
Splitter(TTTState<I,D> state1,
TTTState<I,D> state2,
int symbolIdx,
DTNode<I,D> succSeparator) |
Modifier and Type | Method and Description |
---|---|
protected Boolean |
TTTLearnerDFA.predictSuccOutcome(TTTTransition<I,Boolean> trans,
DTNode<I,Boolean> succSeparator) |
Modifier and Type | Method and Description |
---|---|
protected Word<O> |
TTTLearnerMealy.predictSuccOutcome(TTTTransition<I,Word<O>> trans,
DTNode<I,Word<O>> succSeparator) |
Copyright © 2015. All rights reserved.