Package de.learnlib.algorithm.oml.ttt.dt

Class DTLeaf<I,D>

java.lang.Object

de.learnlib.algorithm.oml.ttt.dt.AbstractDTNode<I,D>

de.learnlib.algorithm.oml.ttt.dt.DTLeaf<I,D>

public class DTLeaf<I,D>
extends AbstractDTNode<I,D>

Constructor Summary

Constructors

Constructor	Description
DTLeaf(@Nullable DTInnerNode<I,D> parent, AbstractDecisionTree<I,D> tree, PTNode<I,D> u)

Method Summary

Modifier and Type	Method	Description
void	addShortPrefix(PTNode<I,D> u)
List<PTNode<I,D>>	getShortPrefixes()
void	makeShortPrefix(PTNode<I,D> uNew)
boolean	refineIfPossible()
void	split(PTNode<I,D> u1, PTNode<I,D> u2, I a)

Methods inherited from class de.learnlib.algorithm.oml.ttt.dt.AbstractDTNode

path

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DTLeaf

public DTLeaf(@Nullable DTInnerNode<I,D> parent,
              AbstractDecisionTree<I,D> tree,
              PTNode<I,D> u)

Method Detail

getShortPrefixes

public List<PTNode<I,D>> getShortPrefixes()

addShortPrefix

public void addShortPrefix(PTNode<I,D> u)

refineIfPossible

public boolean refineIfPossible()

makeShortPrefix

public void makeShortPrefix(PTNode<I,D> uNew)

split

public void split(PTNode<I,D> u1,
                  PTNode<I,D> u2,
                  I a)