Package | Description |
---|---|
de.learnlib.algorithms.ttt.dfa |
Modifier and Type | Method and Description |
---|---|
protected PrefixTTTLearnerDFA.ExtDTNode<I> |
PrefixTTTLearnerDFA.ExtDTNode.createChild(Boolean outcome,
TTTState<I,Boolean> data) |
Modifier and Type | Method and Description |
---|---|
Iterable<PrefixTTTLearnerDFA.ExtDTNode<I>> |
PrefixTTTLearnerDFA.ExtDTNode.unlabeled() |
Iterator<PrefixTTTLearnerDFA.ExtDTNode<I>> |
PrefixTTTLearnerDFA.ExtDTNode.unlabeledIterator() |
Modifier and Type | Method and Description |
---|---|
void |
PrefixTTTLearnerDFA.ExtDTNode.addUnlabeled(PrefixTTTLearnerDFA.ExtDTNode<I> node) |
Constructor and Description |
---|
ExtDTNode(PrefixTTTLearnerDFA.ExtDTNode<I> parent,
Boolean parentOut) |
Copyright © 2018. All rights reserved.