Package de.learnlib.algorithm.lambda.ttt.dt

Class AbstractDecisionTree<I,D>

java.lang.Object

de.learnlib.algorithm.lambda.ttt.dt.AbstractDecisionTree<I,D>

public abstract class AbstractDecisionTree<I,D>
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
protected net.automatalib.alphabet.Alphabet<I>	alphabet
protected MembershipOracle<I,D>	mqOracle
protected AbstractDTNode<I,D>	root

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	AbstractDecisionTree(net.automatalib.alphabet.Alphabet<I> alphabet, MembershipOracle<I,D> mqOracle, STNode<I> stRoot)

Method Summary

Modifier and Type	Method	Description
List<DTLeaf<I,D>>	leaves()
boolean	makeConsistent()
protected abstract Children<I,D>	newChildren()
protected abstract D	query(PTNode<I,D> prefix, STNode<I> suffix)
void	setRoot(AbstractDTNode<I,D> newRoot)
void	sift(PTNode<I,D> prefix)

Methods inherited from class java.lang.Object

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

Field Detail

mqOracle

protected final MembershipOracle<I,D> mqOracle

alphabet

protected final net.automatalib.alphabet.Alphabet<I> alphabet

root

protected AbstractDTNode<I,D> root

Constructor Detail

AbstractDecisionTree

protected AbstractDecisionTree(net.automatalib.alphabet.Alphabet<I> alphabet,
                               MembershipOracle<I,D> mqOracle,
                               STNode<I> stRoot)

Method Detail

newChildren

protected abstract Children<I,D> newChildren()

query

protected abstract D query(PTNode<I,D> prefix,
                           STNode<I> suffix)

sift

public void sift(PTNode<I,D> prefix)

setRoot

public void setRoot(AbstractDTNode<I,D> newRoot)

leaves

public List<DTLeaf<I,D>> leaves()

makeConsistent

public boolean makeConsistent()