Package | Description |
---|---|
de.learnlib.algorithms.discriminationtree.hypothesis.vpda | |
de.learnlib.algorithms.discriminationtree.vpda | |
de.learnlib.algorithms.ttt.vpda |
Modifier and Type | Method and Description |
---|---|
void |
DTNode.split(ContextPair<I> discriminator,
Map<Boolean,DTNode<I>> children) |
Modifier and Type | Method and Description |
---|---|
protected Boolean |
AbstractVPDALearner.query(AccessSequenceProvider<I> asp,
ContextPair<I> context) |
Constructor and Description |
---|
PrefixTransformAcex(net.automatalib.words.Word<I> word,
ContextPair<I> context) |
Modifier and Type | Method and Description |
---|---|
ContextPair<I> |
Splitter.getDiscriminator() |
ContextPair<I> |
Splitter.getNewDiscriminator() |
Copyright © 2018. All rights reserved.