Package | Description |
---|---|
de.learnlib.algorithms.discriminationtree.hypothesis.vpda | |
de.learnlib.algorithms.discriminationtree.vpda | |
de.learnlib.algorithms.ttt.vpda |
Modifier and Type | Method and Description |
---|---|
protected DTNode<I> |
DTNode.createChild(Boolean outcome,
HypLoc<I> data) |
DTNode<I> |
HypLoc.getLeaf() |
DTNode<I> |
AbstractHypTrans.getNonTreeTarget() |
DTNode<I> |
AbstractHypTrans.getTargetNode() |
DTNode<I> |
DTree.sift(AccessSequenceProvider<I> asp) |
DTNode<I> |
DTree.sift(DTNode<I> start,
AccessSequenceProvider<I> asp,
boolean hard) |
DTNode<I> |
DTree.sift(DTNode<I> start,
net.automatalib.words.Word<I> prefix) |
DTNode<I> |
DTree.sift(DTNode<I> start,
net.automatalib.words.Word<I> as,
boolean hard) |
Modifier and Type | Method and Description |
---|---|
protected Map<Boolean,DTNode<I>> |
DTNode.createChildMap() |
Modifier and Type | Method and Description |
---|---|
void |
BlockList.add(DTNode<I> block) |
void |
HypLoc.setLeaf(DTNode<I> leaf) |
void |
AbstractHypTrans.setNonTreeTarget(DTNode<I> nonTreeTarget) |
DTNode<I> |
DTree.sift(DTNode<I> start,
AccessSequenceProvider<I> asp,
boolean hard) |
DTNode<I> |
DTree.sift(DTNode<I> start,
net.automatalib.words.Word<I> prefix) |
DTNode<I> |
DTree.sift(DTNode<I> start,
net.automatalib.words.Word<I> as,
boolean hard) |
Modifier and Type | Method and Description |
---|---|
void |
DTNode.split(ContextPair<I> discriminator,
Map<Boolean,DTNode<I>> children) |
Constructor and Description |
---|
DTNode(DTNode<I> parent,
boolean parentLabel) |
DTNode(DTNode<I> parent,
boolean parentLabel,
HypLoc<I> data) |
DTree(DTNode<I> root,
MembershipOracle<I,Boolean> oracle) |
Modifier and Type | Method and Description |
---|---|
protected DTNode<I> |
AbstractVPDALearner.updateDTTarget(AbstractHypTrans<I> trans,
boolean hard) |
Modifier and Type | Method and Description |
---|---|
protected static <I> void |
AbstractVPDALearner.link(DTNode<I> leaf,
HypLoc<I> loc) |
Modifier and Type | Field and Description |
---|---|
DTNode<I> |
Splitter.succSeparator |
Modifier and Type | Method and Description |
---|---|
protected void |
TTTLearnerVPDA.declareFinal(DTNode<I> blockRoot) |
Constructor and Description |
---|
Splitter(I symbol,
DTNode<I> succSeparator) |
Splitter(I symbol,
HypLoc<I> location,
I otherSymbol,
boolean call,
DTNode<I> succSeparator) |
Copyright © 2018. All rights reserved.